Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uunet!mcsun!ukc!edcastle!aipdc
From: aipdc@castle.ed.ac.uk (Paul D. Crowley)
Newsgroups: comp.lang.prolog
Subject: Re: On "Does it unify ?" and the WAM
Keywords: unification, Warren Abstract Machine
Message-ID: <4331@castle.ed.ac.uk>
Date: 29 May 90 20:16:50 GMT
References: <9152@hubcap.clemson.edu>
Reply-To: aipdc@castle.ed.ac.uk (Paul D. Crowley)
Organization: Edinburgh University Computing Service
Lines: 33

The below impressed me - I had expected it to hang.

Script started on Tue May 29 21:12:04 1990
% prolog

Edinburgh Prolog version 1.5.04 (12 September 1988)
AI Applications Institute,  University of Edinburgh.

| ?- consult(loop).
loop consulted:   188 bytes      0.08 seconds
yes

| ?- listing.
loopy(X) :-
        Y=[foo,Y],
        [X|_1]=Y .
yes

| ?- loopy(X).

     X=foo 
yes

| ?- halt.

Prolog terminated
% exit

script done on Tue May 29 21:12:35 1990

-- 
\/ o\ Paul Crowley aipdc@uk.ac.ed.castle
/\__/ "Trust me, I know what I'm doing" - Sledge Hammer