Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!samsung!emory!hubcap!raghutp
From: raghutp@hubcap.clemson.edu (Raghu Toppur)
Newsgroups: comp.lang.prolog
Subject: On "Does it unify ?" and the WAM
Keywords: unification, Warren Abstract Machine
Message-ID: <9152@hubcap.clemson.edu>
Date: 29 May 90 17:54:16 GMT
Organization: Clemson University, Clemson, SC
Lines: 20



	While on the subject of unification, and the creation of
	circular structures : with a clause such as "equal(X,X).",
	attempts to execute "equal(Y,foo(Y))." would result in
	Y being instantiated to foo(foo(...(Y)).

	However, what about "equal(foo(Y),Y)." in the context of
	the Warren Abstract Machine ? Y will remain unbound, I think,
	if the WAM instructions perform like they ought to.

	Is there a way to produce the `proper' incorrect result 
	during the normal operation of the WAM ?


	Raghu Toppur
	Department of Computer Science,
	Clemson University, 
	Clemson, SC 29631.
	e-mail : raghutp@hubcap.clemson.edu