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.