Re: Problem with CLP

[Gerald Shapiro]

On Tue, 23 Sep 2003, Lars Riis Olsen wrote:

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

There's the rub. GNU Prolog is reporting the current domain of the
constrained variables. You need to try instantiating the variables to
determine if the domain is a solution. It has been a while since I wrote a
gprolog program, but search for labeling (labelling?) in the
documentation.

gws