FD constraint

[PRADOS Julien]

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).

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.

and have the result

A = 1
B = 1,
C = 1.