Constraints: Bug? X*X*X #= 0 fails
- - <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <[email protected]> |
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? _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog