constraint

michel levy <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
?- 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.