spooner@calgary.UUCP (12/03/87)
Does anyone have any thoughts on why the goal:
?- termCompare(T, [a], [b]).
succeeds with:
T = =
This causes problems when generating sets of lists with solutions/3,
for example powerset/2.
Also, redefining termCompare/3 does not help. The anomaly became apparent
when using addElement/3 in the osets library.
?- Is there a problem with performing recursive term comparison based not
only on cardinality.