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]