Tom Armstrong (arm1@coral.cs.umbc.edu)
Tue, 18 Mar 2003 11:11:03 -0500 (EST)
Here's my naive question of the day:
I want to make a comparison between two initially uninstantiated
variables. Take the rule to be foo(X) :- A=clause1,B=clause2,A>B., say.
XSB doesn't care for my attempt and tells me about it.
The closest documentation I can find is in the constraint solving section.
Interestingly, their sample code doesn't perform as they claim on my
installation nor cs.
tom.
This archive was generated by hypermail 2.0b3 on Tue Mar 18 2003 - 11:11:13 EST