CMU Artificial Intelligence Repository
Prolog implemented in Scheme, with interval arithmetic.
Prolog in Scheme is a collection of macros that expand syntax for
clauses, elations, and so on. It is written in Scheme and has support
for delayed goals and interval arithmetic. It is known to run in Chez
Scheme and in Elk, and is intended to be portable to other Scheme
implementations. It relies on continuations, and so is not easily
ported to Common Lisp.
Version: 1.2 (12-JUN-92)
Ports: Chez Scheme and Elk.
Should be easily ported to other Scheme implementations.
Updated: Tue Aug 23 16:10:34 1994
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Alan Dewar , Vinit Kaushik, Sue Rempel
University of Calgary
Department of Computer Science
University of Waikato
Te Whare Wananga o Waikato,
Private Bag 3105,
Hamilton, New Zealand.
Contact: Alan Dewar
Authors!Cleary, Authors!Dewar, Authors!Kaushik,
Authors!Rempel, Interval Arithmetic,
Programming Languages!Prolog, Prolog in Scheme,
Prolog!Implementations, Scheme Prolog, Scheme!Code,
Univ. of Calgary, Univ. of Waikato
Release notes and a user manual are included in the distribution.
For further information on the interval arithmetic package, see:
Cleary, John G., "Logical Arithmetic", Future Computing Systems
Last Web update on Mon Feb 13 10:35:12 1995