Re: I now realize WHY my 'consistency check' was pointless: CLP.

On Mon, 22 Aug 2005 09:13:44 -0400, "Dirk Mittler"
<mdirk@xxxxxxxxxxxx> wrote:

>I'm still very much a newbie at Prolog, but one of my first experiments was
>to write some code which attempted to find contradictions in the constraints
>or attributes of unbound variables, at a point in time before they could be
>instantiated.
[...]
>
>And to me this generalized test is probably not worth the effort for most
>kinds of programming any more. On the other hand, I also did not put much
>effort into writing it either.
>

Could you please summarize in one SHORT paragraph what is your
point?...

A.L.
.

Relevant Pages

  • Re: I now realize WHY my consistency check was pointless: CLP.
    ... >>I'm still very much a newbie at Prolog, but one of my first experiments ... >>to write some code which attempted to find contradictions in the ... I'm really a total novice at Prolog. ... book on Prolog, "PROLOG Programming For Artificial Intelligence," which I do ...
    (comp.lang.prolog)
  • Re: How can I do this without cuts?
    ... > tradeoffs and of integration with other computational models (tabling, constraints, ... > that the Mercury experience is a major improvement in the field. ... Prolog part-application into the application as a whole. ... then we can use Prolog in industry. ...
    (comp.lang.prolog)
  • CLP language for solving IP problem
    ... In a few weeks/months I'm going to solve an integer programming problem ... I had to write some simple programs in Prolog. ... GNU/Linux platforms (that's very good news, ... My IP problem is going to have hundreds/thousands of constraints. ...
    (comp.lang.prolog)
  • Re: ...Contemplating unspecified constraint SOLVERS.
    ... "labelling" is an important step. ... after constraints have been specified. ... Get ECLIPSE Prolog. ...
    (comp.lang.prolog)