EXPLANATION-BASED GENERALIZATION = PARTIAL EVALUATION

We argue that explanation-based generalization as recently proposed in the machine learning literature is essentially equivalent to partial evaluation, a well-known technique in the functional and logic programming literature. We show this equivalence by analyzing the definitions an underlying algorithms of both techniques, and by giving a PROLOG program which can be interpreted as doing either explanation-based generalization or partial evaluation.