CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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