Semantics-based Partial Evaluation of Prolog Programs.

Published in: LOPSTR (1991)

Keyphrases

partial evaluation
prolog programs
logic programs
explanation based generalization
logic programming
answer set programming
knowledge representation
domain theory
machine learning
knowledge base
decision trees
case based reasoning
business process
answer sets