A complete resolution method for
logical meta-programming languages
Henning Christiansen
Department of Computer Science
Roskilde University, P.O.Box 260, DK-4000 Roskilde, Denmark
A resolution method for
logical meta-programming languages with
reflexive power corresponding to the binary
demo predicate is presented.
The method is complete in the sense
that it answers also queries with uninstantiated variables
which represent arbitrary fragments of
the program currently being executed.
META92, Workshop
on Meta-Programming in Logic, 10-12 June 1992, Uppsala,
Sweden, 1992. Lecture Notes in Computer Science 649, pp.205-219,
Springer-Verlag 1992.