Re: ...Thanks for recommending that book!

On Tue, 30 Aug 2005 17:46:55 -0400, "Dirk Mittler"
<mdirk@xxxxxxxxxxxx> wrote:

>Thank you for recommending Krzysztof R. Apt's "Principles of Constraint
>Programming" to me. It just arrived from Amazon today, and makes a very good
>impression. Furthermore, I can recognize elements of what's explained in the
>book as features of my build of SWI-Prolog, so that in principal I should
>also be able to apply it fairly well. Even though Apt's book doesn't focus
>uniquely on Prolog. Yet at first glance, some emphasis appears to be present
>on logic programming features relevant to CSP, thus relevant to CLP.

Agree, this is very good book....

If you want CLP in the context of Prolog, then there is very old
book (now collector's item..): "Constraint Satisfaction in Logic
Programming" by Pascal van Hentenryck, MIT Press, 1989. Some time
ago it was possible to buy this book on Amazon, used, for about 10
bucks.

Other book (this one not that old :) that covers constraints in the
conetxt of Prolog (although not exclusively) is "Programming with
Constraints" by Kim Mariott and Peter Stuckey, MIT Press 1998. I
recommend this book even if you have Apt's book. The presentation is
a bit different, more textbook style and has a bit broader scope.

A.L.
.

Relevant Pages

  • Re: POD speed
    ... I listed reasons that enforcement of database ... constraints in application code is error-prone compared to enforcement by the DBMS using ... implement outside the DBMS. ... > programming class I've seen as one ...
    (comp.lang.java.databases)
  • Re: Philosphy of programming
    ... there are certain constraints on the model. ... on simulation and the ... It's the constraints on the simulation that make programming ... reality, and then creating a simulation of that limitted reality which can ...
    (comp.programming)
  • Re: Favorite non-python language trick?
    ... And -- why isn't it in Python? ... I use constraints programming at work, ... It would be great if this style of programming could be added to ... is an example written in Cadence's Specman 'e' language: ...
    (comp.lang.python)
  • Re: Recommend please : free math library
    ... formulated as a MIP (mixed integer programming) problem or a CP problem. ... and dummy is a dummy objective function, ... Please let me add some more constraints to the original matrix, ... And the last, the program only need one numeric solution, do not care ...
    (sci.math.num-analysis)
  • Re: A database theory resource - ideas
    ... I actually own books by the above authors. ... things are much better on the programming side, ... "We don't need no stinkin' principles. ... programmed learning might work to improve logic, empiricism, overcoming ...
    (comp.databases.theory)