CMU Artificial Intelligence Repository
Schelog: Embedding of Prolog in Scheme
lang/prolog/impl/prolog/schelog/
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.
Origin:
titan.cs.rice.edu:public/dorai/
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
AI.Repository@cs.cmu.edu