Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!mit-eddie!uw-beaver!ubc-vision!alberta!calgary!spooner
From: spooner@calgary.UUCP
Newsgroups: comp.lang.prolog
Subject: NU-Prolog termCompare/3.
Message-ID: <1237@vaxb.calgary.UUCP>
Date: Thu, 3-Dec-87 01:18:39 EST
Article-I.D.: vaxb.1237
Posted: Thu Dec  3 01:18:39 1987
Date-Received: Thu, 10-Dec-87 00:56:26 EST
Organization: U. of Calgary, Calgary, Ab.
Lines: 17
Keywords: alternatives?


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.