users-prolog
[Top][All Lists]
Advanced

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

Constraint propagation


From: Julien Prados
Subject: Constraint propagation
Date: Mon, 24 Jul 2006 17:03:33 +0200
User-agent: Mozilla Thunderbird 1.0.7 (X11/20050923)


Hello, I have a question about constraint propagation in gprolog 1.2.16 (under linux). Let's consider the following query:

A #<=> (X #\/ Y),
B #<=> (X #\/ Y),
A #<=> 1.

for this query the answer of gprolog is:

A = 1
B = _#81(0..1)
X = _#19(0..1)
Y = _#38(0..1)

but I would expect that A and B reference the same variable, and then we should obtain the following result:

A = 1
B = 1
X = _#19(0..1)
Y = _#38(0..1)


why it is not like this ?

Thanks,

Julien Prados


-----
Julien Prados      Tel:+41 22 37 91083
CUI - University of Geneva
24 rue General Dufour
1211 GENEVE 4/Switzerland




reply via email to

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