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
