Xref: utzoo comp.lang.prolog:3860 comp.lang.scheme:2210
Path: utzoo!utgpu!news-server.csri.toronto.edu!helios.physics.utoronto.ca!ists!yunexus!oz
From: oz@yunexus.yorku.ca (Ozan Yigit)
Newsgroups: comp.lang.prolog,comp.lang.scheme
Subject: Re: Prolog interpreter in Scheme, now available
Message-ID: <22195@yunexus.YorkU.CA>
Date: 1 Apr 91 18:08:31 GMT
References: <1991Mar29.230912.5072@cpsc.ucalgary.ca>
Sender: news@yunexus.YorkU.CA
Organization: York U. Communications Research & Development
Lines: 38

From oz Mon Apr 1 13:00:21 EST 1991
Newsgroups: comp.lang.prolog,comp.lang.scheme
Subject: Re: Prolog interpreter in Scheme, now available
Summary: 
Expires: 
References: <1991Mar29.230912.5072@cpsc.ucalgary.ca>
Sender: 
Followup-To: 
Distribution: 
Organization: York U. Communications Research & Development
Keywords: 

In article <1991Mar29.230912.5072@cpsc.ucalgary.ca>
dewar@cs-sun-fsa.cpsc.ucalgary.ca (Alan Dewar) writes:

Thank you for making this nice prolog interpreter available for public
consumption. I am trying to port it to MacScheme and other schemes. I will
include this code in the repository as soon as possible.

>This implementation is known to run on Chez Scheme and on ELK.  It is
>intended to be portable to other Scheme implementations as well.

The construct to "customize" the interpreter is not legal as per
specification for the top-level begin:
   
   (if elk-compatibility (begin
   	(define ...)
   	(define ...)))
   
where the intent is to have these defines become global defines.

MacScheme is also griping about other things in the interval arithmetic
package. More later.

oz
---
Not all good things come with three	 | internet: oz@nexus.yorku.ca
pages of dogma and an attitude. - anon   | uucp: utzoo/utai!yunexus!oz