Does It Unify?

Article View: comp.lang.prolog

Article #810

#810

From: Andrew Choi
Date: Mon, 07 May 1990 13:23

19 lines
910 bytes

Hi Gurus.  I have a simple question about unification...
Assume I have the following predicate defined:

equal(X, X).

Does the following unify?

?-  equal(foo(Y), Y).


On my Prolog interpreter, it unifies but gives very strange
instantiation for Y.  What should the "correct" answer be?

Thanks a lot.


Andrew Choi
Internet Address:  c60c-2ca@web.berkeley.edu
Standard Disclaimer

Technical Details

Message-ID: <1990May7.132305.15989@agate.berkeley.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!swrinde!ucsd!ucbvax!agate!WEB.berkeley.edu!c60c-2ca

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!swrinde!ucsd!ucbvax!agate!WEB.berkeley.edu!c60c-2ca
From: c60c-2ca@WEB.berkeley.edu (Andrew Choi)
Newsgroups: comp.lang.prolog
Subject: Does It Unify?
Message-ID: <1990May7.132305.15989@agate.berkeley.edu>
Date: 7 May 90 13:23:05 GMT
Sender: usenet@agate.berkeley.edu (USENET Administrator;;;;ZU44)
Reply-To: c60c-2ca@WEB.berkeley.edu (Andrew Choi)
Distribution: usa
Organization: University of California, Berkeley
Lines: 19