CMU Artificial Intelligence Repository
Meta-circular interpreter for Prolog
lang/prolog/code/eval/meta/
This directory contains a genuinely meta-circular interpreter for a
subset of Prolog containing cuts. It relies on the fact that
disjunction is transparent to cut just like conjunction.
If it doesn't work in your Prolog, and if you paid more than $100 for
it, take your Prolog back to the shop and insist that they fix it,
there are at least four different ways of implementing disjunction so
that it works.
Version: 2-MAR-84
Updated: Fri Oct 7 16:10:30 1994
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): R.A.O'Keefe
Keywords:
Authors!O'Keefe, Meta-Circular Interpreter!Prolog,
Programming Languages!Prolog, Prolog!Code,
Prolog!Implementations
References: ?
Last Web update on Mon Feb 13 10:33:31 1995
AI.Repository@cs.cmu.edu