|
| On Tue, 30 Aug 2005 17:46:55 -0400, "Dirk Mittler"
<mdirk@sympatico.ca> 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.
|
|