On "Does it unify ?" and the WAM

Article View: comp.lang.prolog

Article #852

#852

From: Raghu Toppur
Date: Tue, 29 May 1990 17:54

20 lines
1046 bytes


	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

Technical Details

Message-ID: <9152@hubcap.clemson.edu>

Path: arc1-ca.pugleaf.net!utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!samsung!emory!hubcap!raghutp

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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