Partial Evaluation of Prolog Programs and its Application to Meta Programming.

Akikazu Takeuchi Koichi Furukawa

Published in: IFIP Congress (1986)

Keyphrases

partial evaluation
prolog programs
logic programs
explanation based generalization
logic programming
programming language
xpath queries
answer set programming
domain theory
small number
feature selection
active learning
domain knowledge
object oriented
database
background knowledge
search engine
databases