users-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: FD constraint


From: Daniel Diaz
Subject: Re: FD constraint
Date: Tue, 28 Jan 2003 10:39:14 +0100
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.2) Gecko/20021120 Netscape/7.01

Hello,

use reified constraints:

PRADOS Julien wrote:
In gnu prolog, when I work with FD constraints, can I constraint a boolean B to be the result of a test between two variables X and Y ??? how should I do this ???

example, I'd like to wrote something like this:

X #= 3,
Y #< 10,
B #= (X#<Y).


use instead: B #<=> X #< Y.

and have the folowing result:

X = 3,
Y = _#0(0..9)
B = _#1(0..1)


*********


or also write something like this

C #= (A #/\ B),
C #= 1.


here also use: C #<=> A #/\ B.

and have the result

A = 1
B = 1,
C = 1.





_______________________________________________
Users-prolog mailing list
address@hidden
http://mail.gnu.org/mailman/listinfo/users-prolog

--
Ce message a subi une analyse antivirus par MailScanner ; il est vraisemblablement
sans danger.






--
Ce message a subi une analyse antivirus par MailScanner ; il est vraisemblablement
sans danger.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]