The behaviour with not_unify/2 has now changed (no explicit fix was apparently done; so this might be a side-effect of some other changes): The previous problem now behaves correctly: [eclipse 3]: X = 1.1__1.2, not_unify(X,X). No (0.00s cpu) *BUT* not_unify(1.0__1.1,1.0__1.1) now fails incorrectly: [eclipse 1]: not_unify(1.0__1.1,1.0__1.1). No (0.00s cpu) and: [eclipse 4]: X = 1.1__1.2, Y = 1.1__1.2, X = Y. X = 1.1__1.2 Y = 1.1__1.2 Yes (0.00s cpu) [eclipse 5]:Received on Mon Apr 23 17:31:19 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:06 PM GMT GMT