[Top][All Lists]

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

Re: Problem with CLP

From: Gerald Shapiro
Subject: Re: Problem with CLP
Date: Tue, 23 Sep 2003 16:36:16 -0400 (EDT)

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


reply via email to

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