Weak propagation in IC 3+var constraints

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Mon 03 Dec 2001 06:43:26 PM GMT
Message-ID: <20011203184326.F10946@tempest.icparc.ic.ac.uk> 
These queries should all give the same output, but they don't (only the last
propagates fully):

?- [X, Y, Z] :: 0..1000, *=<(X + Y + Z, 1500, 0), X #=< 600, Y #=< 600.

Z = Z{0 .. 1000}
X = X{0 .. 600}
Y = Y{0 .. 600}

Delayed goals:
	ic : (Z{0 .. 1000} + X{0 .. 600} + Y{0 .. 600} > 1500)


?- [X, Y, Z] :: 0..1000, *>(X + Y + Z, 1500, 1), X #=< 600, Y #=< 600.

Z = Z{300 .. 1000}
X = X{0 .. 600}
Y = Y{0 .. 600}

Delayed goals:
	ic : (-(Z{300 .. 1000}) - X{0 .. 600} - Y{0 .. 600} < -1500)


?- [X, Y, Z] :: 0..1000, #>(X + Y + Z, 1500, 1), X #=< 600, Y #=< 600.

Z = Z{301 .. 1000}
X = X{0 .. 600}
Y = Y{0 .. 600}

Delayed goals:
	ic : (-(Z{301 .. 1000}) - X{0 .. 600} - Y{0 .. 600} =< -1501)


Cheers,
Warwick
Received on Mon Dec 03 18:43:27 2001

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