I'm looking for some advice how to get started with Logic programming, and I am really enjoying working through the Scheme book "Structure and Interpretation of Computer Programs." Is there a similar book that is geared toward Prolog? Or, if there is a better language to study than Prolog for Logic programming I am interested in hearing your opinions on that as well.
closed as off-topic by gnat, user40980, GlenH7♦, Kilian Foth, Dan Pichelman Sep 24 '13 at 14:15
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "Questions asking us to recommend a tool, library or favorite off-site resource are off-topic for Programmers as they tend to attract opinionated answers and spam. Instead, describe the problem and what has been done so far to solve it." – gnat, Community, GlenH7, Kilian Foth, Dan Pichelman
"The Art Of Prolog" by Leon Sterling & Ehud Shapiro is one of the best books about computer programming I've ever read.
Prolog and The Art of Prolog are hard to beat in this regard.
A possible alternative - being a bit closer in theme and technique to Scheme/SiCP than to Prolog/Art of Prolog - is Mozart/Oz with the the book Concepts, Techniques, and Models of Computer Programming.
Apart from Oz other alternative languages to Prolog are Curry which sits right between Haskell and Prolog and AliceML which is basically a ML variant of Oz (and could be used as such with above mentioned CTM). Curry has AFAIK no equivalent introductory text.
A Prolog book I like a lot is the one by Richard O'Keefe, The Craft of Prolog. It is out of print, so try for a library copy. If you find it useful as a reference text, Amazon usually has used copies for sale.
Edit: Actually it seems only the hardback edition is out of print, and Amazon has some new paperback copies for sale.