Delayed goals

From: Doug Edmunds <edmunds_at_pacifier.com>
Date: Thu 16 Dec 1999 11:40:14 PM GMT
Message-ID: <000701bf481f$0c468f00$438941d8@daehp>
/*How do I overcome the 
delayed goals in this code, to
get the desired result 
X=130, Y =70, Z = 80?

Doug Edmunds
16 Dec 1999
*/


:=lib(fd).

g :- X #>0, Y#>0, Z #>0,
X + Y + Z #= 280,
X #= 130,
Y #= Z - 10.


Additional comment:

I added a line
indomain(Y), 
at the end, and it produces the correct answer.

Q: Is there a more efficient way to handle this?
Received on Fri Dec 17 11:28:21 1999

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