CMU Artificial Intelligence Repository
LogScheme: Metacircular evaluator for a logical extension
of Scheme.
lang/scheme/code/eval/log_scm/
This directory contains Pierre Bonzon's metacircular evaluator for
a logical extension of scheme.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Pierre Bonzon
University of Lausanne
1015 Lausanne, Switzerland
Keywords:
Authors!Bonzon, Eval, Evaluator, LogScheme, Logic,
Programming Languages!Logical Scheme, Prolog!Implementations,
Scheme!Code, Scheme!Logic
References:
Lisp and Symbolic Computation 3:113-133, 1990.
Last Web update on Mon Feb 13 10:35:42 1995
AI.Repository@cs.cmu.edu