not_unify/2 with intervals (0923)

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Tue 10 Apr 2001 02:08:01 PM GMT
Message-Id: <E14myoL-0001Rw-00@holborn.icparc.ic.ac.uk> 
An interval should only unfiy with itself:

[eclipse 8]: X = 1.1__1.2, Y = 1.1__1.2, X = Y.

no (more) solution.

[eclipse 9]: X = 1.1__1.2, X = X.

X = 1.1__1.2

and conversely, \=/2 and not_unify/2 should therefore fail. \=/2 does fail,
but not not_unify/2:

[eclipse 11]: X = 1.1__1.2, X \= Y.

no (more) solution.
[eclipse 12]: X = 1.1__1.2, not_unify(X,X).

X = 1.1__1.2
yes.
Received on Tue Apr 10 15:08:03 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:05 PM GMT GMT