CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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.
See Also: 


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 John Cleary Department of Computer Science University of Waikato Te Whare Wananga o Waikato, Private Bag 3105, Hamilton, New Zealand. Contact: Alan Dewar Keywords: 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 References: 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 2(2):125-149, 1987.
Last Web update on Mon Feb 13 10:35:12 1995