Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!elroy.jpl.nasa.gov!ucla-cs!rutgers!rochester!pt.cs.cmu.edu!a.gp.cs.cmu.edu!cmaeda
From: cmaeda@a.gp.cs.cmu.edu (Christopher Maeda)
Newsgroups: comp.sys.next
Subject: prolog for next
Message-ID: <12721@pt.cs.cmu.edu>
Date: 19 Apr 91 16:49:19 GMT
Distribution: na
Organization: Carnegie-Mellon University, CS/RI
Lines: 27

You could also get Elk Scheme and run the Calgary Scheme Prolog
Interpreter.  I'll upload the prolog program to cs.orst.edu.  
Here's the readme file:

				Scheme Prolog 1.1
				-----------------

	written by John Cleary, Alan Dewar, Vinit Kaushik and Sue Rempel
	at the University of Calgary (cleary@cpsc.ucalgary.ca).

This package provides a fairly simple interpreter for pure Prolog, implemented
in Scheme.  It is primarily intended for use in students' projects involving
implementations of Prolog.  Scheme Prolog version 1.1 is mostly a pure Prolog
interpreter, though a few built-in primitives are also included.  Delayed goals
are also supported, and an interval-arithmetic package is included.

For details on invoking Scheme Prolog and on the built-in routines supported,
refer to "manual".  For implementation details, refer to "impl".  For details
on the interval-arithmetic package, refer to the following paper:

	Cleary, John G. (1987)  "Logical Arithmetic," Future Computing
	Systems 2(2) 125-149.
-- 
Chris Maeda, Grad Student from Hell     |Mail:	cmaeda@cs.cmu.edu
Yow!  I find I enjoy netnews more after |UUCP:  fuck if I know
having a couple of twinkies and a coke. |(si:halt "boot
Am I a Unix Weenie yet?                 |")