bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

FD and Multiplication


From: Jan Burse
Subject: FD and Multiplication
Date: Mon, 16 Apr 2012 20:58:41 +0200
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:11.0) Gecko/20120312 Firefox/11.0 SeaMonkey/2.8

Hi,

Any reason that the following fails:

        ?- (Y-5)*(X-6) #= 0.
        No

Best Regards

P.S.: On the other the following works:

   ?- (X-5)*(X-6) #= 0, fd_labeling(X).
   X = 5 ? ;
   X = 6

But I didn't figure out how to list the
actual constraint store, and also I didn't
figure out how to get heuristic information
that is for example used in labeling, such
as the weight used in "most constraints".

Listing the constraint store and/or
heuristic information would also help
debugging the query that fails.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]