Key points are not available for this paper at this time.
Prolog meta-zirkulare Interpreter, das heißt Interpreter für Prolog, die in Prolog geschrieben sind, führen mindestens zwei Operationen auf einem Objektprogramm aus – sie parsen es und führen seine Anweisungen aus. Es gibt eine nützliche Variante des meta-zirkularen Interpreters, den meta-zirkularen Parser, der, wie der Name schon sagt, ein Objektprogramm parst, ohne seine Anweisungen auszuführen. Der Wert eines solchen Parsers liegt darin, dass er ein elegantes Mittel bietet, um Prolog-Quellcode zu modifizieren. Während das Objektprogramm geparst wird, können neue Informationen in Form zusätzlicher Anweisungen, Kommentare usw. selektiv eingefügt werden.
Roach et al. (Sat,) haben diese Frage untersucht.