users-prolog
[
Top
][
All Lists
]
Advanced
[Date Prev][
Date Next
][Thread Prev][
Thread Next
][
Date Index
][
Thread Index
]
Constraints: Bug? X*X*X #= 0 fails
From
:
- -
Subject
:
Constraints: Bug? X*X*X #= 0 fails
Date
:
Fri, 5 Jun 2009 13:51:32 +0200
In gnu prolog 1.3.0 no value for X is found for the constraint X*X*X #= 0 and additionally, gprolog states there is no solution:
| ?- X*X*X #= 0.
no
On the other hand, the (correct) solution X #= 1 is found for X*X*X #= 1:
| ?- X*X*X #= 1.
X = 1
yes
and X #= 2 is found for X*X*X = 8.
GNU Prolog gives no solutions for X*X*X #= 27 (X #= 3), X*X*X #= 64 (X #= 4), and even states there are none. Is this behaviour intentional?
reply via email to
[Prev in Thread]
Current Thread
[
Next in Thread
]
Constraints: Bug? X*X*X #= 0 fails
,
- -
<=
Re: Constraints: Bug? X*X*X #= 0 fails
,
Daniel Diaz
,
2009/06/06
Next by Date:
Re: Constraints: Bug? X*X*X #= 0 fails
Next by thread:
Re: Constraints: Bug? X*X*X #= 0 fails
Index(es):
Date
Thread