Received: by 10.66.80.228 with SMTP id u4mr4943774pax.39.1352494902411;
        Fri, 09 Nov 2012 13:01:42 -0800 (PST)
MIME-Version: 1.0
Received: by 10.68.231.7 with SMTP id tc7mr4126938pbc.1.1352494902393; Fri, 09
 Nov 2012 13:01:42 -0800 (PST)
Path: s9ni1660pbb.0!nntp.google.com!kt20no40003115pbb.1!postnews.google.com!q5g2000pbk.googlegroups.com!not-for-mail
Newsgroups: sci.logic,sci.math,comp.lang.prolog,comp.ai.philosophy
Date: Fri, 9 Nov 2012 13:01:42 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: q5g2000pbk.googlegroups.com; posting-host=101.168.85.73; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 101.168.85.73
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1) AppleWebKit/537.11 (KHTML, like
 Gecko) Chrome/23.0.1271.64 Safari/537.11,gzip(gfe)
Message-ID: <7124e6bb-a542-4789-81a8-09ede9c6aca0@q5g2000pbk.googlegroups.com>
Subject: microPROLOG Does Double Variable Instantiation!!
From: Graham Cooper <grahamcoop...@gmail.com>
Injection-Date: Fri, 09 Nov 2012 21:01:42 +0000
Content-Type: text/plain; charset=ISO-8859-1

lady(ga,goo).
lady(ga,ga).
lady(ga,go).

lady(X,X)?

UNIFY:> SELECT * FROM TPROLOG WHERE typ='H' AND p1='lady'

TRACE lady ga goo
------------------ALLARGS 207==2==1
PUSH:1 X ga
------------------ALLARGS 207==3==1
------------------ALLARGS 207==12==

TRACE lady ga ga
------------------ALLARGS 208==2==1
PUSH:1 X ga
------------------ALLARGS 208==3==1
------------------ALLARGS 208==4==1
------------------ALLARGS 208==12==1

TRACE lady ga go
------------------ALLARGS 209==2==1
------------------ALLARGS 209==3==1
------------------ALLARGS 209==12==

-----------------------------------------

[lady X X]?
CONFIRM

[lady X  X ]
[lady ga ga]


www.microPROLOG.com