Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
microPROLOG Does Double Variable Instantiation!!
8 views
Skip to first unread message
Graham Cooper
Nov 9, 2012, 4:01:42 PM11/9/12
to
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
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
0 new messages