?- X*X #=23.
no
I don't understand how this answer is produced.
I was expecting X #= 1..23
?- X*X #=25.
X = 5
yes
I don't understand how this answer is produced.
I was expecting X #= 1..25
Where (papers, books,..) is it possible to have informations on the
finite domains constraints resolution ?
Sincerely yours
--
Michel Levy
L.S.R., Bureau C214, B.P.72 - 38402 SAINT MARTIN D'HERES CEDEX
e.mail : [EMAIL PROTECTED] tel :(33)476514022
http://www-lsr.imag.fr/users/Michel.Levy
_______________________________________________
Users-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/users-prolog
