CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Schelog: Embedding of Prolog in Scheme

ScheLog is an implementation of Prolog in Scheme. It is a collection of macros that expand syntax for clauses, elations, and so on into pure Scheme. It should run in any R4RS Scheme, has been tested in SCM, and will run any Scheme implementation that supports SLIB (the Standard Scheme Library). This implementation uses Scheme's first-class full continuations to implement Prolog's backtracking mechanism. (See the papers in references below for information on this type of embedding.) Its use of higher-order continuations is probably a major obstacle to porting it to Common Lisp. The file portable.tar contains sample initialization files that must be customized for your dialect of Scheme and loaded before runing Schelog.
   as the files schelog2.tar.Z  and portable.tar.Z

Version: 2 (18-FEB-93) Ports: Chez Scheme, SCM, and other R4RS Scheme implementations. Copying: Copyright (c) 1989-93 Dorai Sitaram, Rice University. Use, copying, modification and distribution permitted. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Dorai Sitaram Keywords: Authors!Sitaram, Programming Languages!Prolog, Prolog in Scheme, Prolog!Implementations, Schelog, Scheme Prolog, Scheme!Code References: Christopher Haynes in "Logic continuations", J. Logic Program. 4:157-176, 1987. Matthias Felleisen in "Transliterating Prolog into Scheme", Tech Report #182, Computer Science Department, Indiana University, 1985.
Last Web update on Mon Feb 13 10:35:11 1995