users-prolog
[Top][All Lists]
Advanced

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

Re: FD solver confusion (on my part)


From: Conrad Scott
Subject: Re: FD solver confusion (on my part)
Date: Mon, 19 Jul 2004 21:03:41 +0100

Thanks to everyone who replied.

It looks like this is a bug in the Mac OS X port (in both 1.2.16 and the latest 1.2.18 versions).

I'll post the relevant details to the bug-prolog list.

Best wishes,

// Conrad

On 19 Jul 2004, at 1:45 pm, Mayuresh wrote:

I'm using gprolog 1.2.16 and got the same (correct) results both ways.


On Sun, 2004-07-18 at 18:44, Conrad Scott wrote:
Dear users-prolog list,

I've just started using GNU Prolog, in particular its FD solver
sub-system, so I'm not an expert at either and this is my first post to
the list. I'm a bit confused about the way the constraints solver
works. For example, if I make the following query I get what I expect:

        | ?- A#=B,fd_domain([A,B],0,1),fd_labeling([A,B]).

        A = 0
        B = 0 ? a

        A = 1
        B = 1

        yes

But if I re-order the query as follows I'm a little surprised at the
result:

        | ?- fd_domain([A,B],0,1),A#=B,fd_labeling([A,B]).

        A = 0
        B = 0 ? a

        A = 1
        B = 0

        yes

I assume that this is a problem of my understanding (rather than a
bug), so can someone point out why the results differ (or point me to
some applicable documentation, by preference in English, but in French
if that's the best information).

Thanks in advance,

Conrad



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






reply via email to

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