Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!mit-eddie!uw-beaver!ssc-vax!bcsaic!michaelm
From: michaelm@bcsaic.UUCP
Newsgroups: comp.lang.prolog,comp.lang.lisp
Subject: Transliterating Prolog into Scheme
Message-ID: <676@bcsaic.UUCP>
Date: Tue, 24-Mar-87 13:02:26 EST
Article-I.D.: bcsaic.676
Posted: Tue Mar 24 13:02:26 1987
Date-Received: Sat, 28-Mar-87 02:43:26 EST
Organization: Boeing Computer Services ATC, Seattle
Lines: 12
Xref: utgpu comp.lang.prolog:150 comp.lang.lisp:195

I have a copy of Technical Report #182 from Indiana University, entitled
"Transliterating Prolog into Scheme," by Matthias Felleisen (1985).
In section 5, he refers to some details regarding "in-line coding of the
unification algorithm...[achieved] with the additon of one more syntactic
extension."  The extension is supposedly exhibited in the appendix.  However,
my copy of the paper has no appendix.  Does anyone know where these "details"
are published?  Felleisen, are you out there?
-- 
Mike Maxwell
Boeing Advanced Technology Center
	arpa: michaelm@boeing.com
	uucp: uw-beaver!uw-june!bcsaic!michaelm