RE: Problem with CLP

[Jorge M. Pelizzoni]

As far as I understand (I'm not a GNU Prolog user actually. I do Oz),
you must be missing the distribute step and search itself. Constraint
propagation has its limits and that is just what you have just observed.
Someone out there please explain how he should complete his program in
order to search for a definite solution set by searching iteratively in
propagate-and-distribute steps.

Cheers,

Jorge.

> -----Original Message-----
> From: address@hidden
[mailto:users-
> address@hidden On Behalf Of Lars Riis
> Olsen
> Sent: Tuesday, September 23, 2003 3:58 PM
> To: address@hidden
> Subject: Re: Problem with CLP
> 
> Fergus Henderson wrote:
> 
> >On 23-Sep-2003, Lars Riis Olsen <address@hidden> wrote:
> >
> >
> >>So if I am understanding you correctly there is no way of
determining
> >>whether a "yes" result returned by GNU Prolog is correct.
> >>
> >>
> >
> >I don't know of any such way; but I don't know that no such way
exists.
> >It might.  I'm not very familiar with GNU Prolog's constraint solving
> >support, so I don't know if it provides anything similar to SICStus
> >Prolog's call_residue/2 predicate (see below).
> >
> >
> >
> Anyone else have any thoughts on this?. The problem is that I need a
> constraint satisfiability package for a "proof-of-concept"
> implementation that I am doing as part of my masters thesis. It
> therefore needs to be free. For this reason GNU Prolog seemed like a
> perfect match, but if there is no way to circumvent the above
limitation
> it really is quite useless for my specific purpose :(.
> 
> >>In that case, do you know of any free constraint satisfiability
> >>package(s), with a C interface, that does not have this limitation?.
> >>
> >>
> >
> >I know that SICStus Prolog lets you distinguish these cases,
> >via the call_residue/2 predicate, which is documented at
>
><http://www.sics.se/sicstus/docs/latest/html/sicstus.html/Coroutining.h
tm
> l>.
> >
> >Unfortunately SICStus Prolog is not free.
> >
> >
> >
> \Lars
> 
> 
> 
> 
> _______________________________________________
> Users-prolog mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/users-prolog