Meta-interpreters and Partial Evaluation in Parlog.

Matthew M. Huntbach

Published in: Formal Aspects Comput. (1989)

Keyphrases

partial evaluation
explanation based generalization
logic programming language
logic programming
description language
logic programs
virtual machine
xpath queries
representation language
artificial intelligence
expert systems
general purpose
higher order
domain theory