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: CLP(FD) team for the ASP solver competition
    ... unquoted variables. ... Prolog is untyped, so why shouldn't we have the luxury? ... equality and several other constraints while many others maintain some ... B-Prolog Version 7.2, All rights reserved, Afany Software 1994-2009. ...
    (comp.lang.prolog)
  • Re: contradictions in Prolog
    ... I am trying to change the Prolog reasoning process, ... Prolog is derived from LUSH resolution for Horn clause logic. ... contradictions in the KB. ...
    (comp.lang.prolog)
  • Re: List partitioning
    ... the fact that I'm looking for the best solution based on heuristics and constraints made me think Prolog was the best choice. ... However, I almost don't know anything about Python, so maybe you're right, maybe Python is as good as/better than Prolog for my problem... ... minimize the differences between all groups weight ...
    (comp.lang.prolog)
  • Re: pushing parallel and constraint programming
    ... with constraints. ... Maybe you should look into deductive databases where the ... OntoBroker, smodels, etc.) and there are also Prolog systems that are ... there are a lot of papers by the XSB developers ...
    (comp.lang.prolog)