[Top][All Lists]
[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.
- FD constraint, PRADOS Julien, 2003/01/28
- Re: FD constraint,
Daniel Diaz <=