What are the best introductory logic programming books?

Question

When people talk about functional programming books, the "classics' of Structure and Interpretation of Computer Programs, The Little Schemer, etc. inevitably enter the conversation.

What are the equivalent logic programming books out there?

Edit: I'm not really looking for books specific to learning a particular logic language like Prolog; SICP and The Little Schemer might use Scheme to illustrate concepts, but they are not books on learning Scheme per se, but rather books about functional programming. Likewise, I'd prefer books whose goal is not to simply teach Prolog syntax, but to teach about logic and logic programming in general. That's not to say the book can't use Prolog to illustrate points.

Answer 1

An Introduction to Logic Programming through Prolog

Not sure if it is a classic but it is available for free from the author's page.

pdf

Table of contents (first five chapters) 1 Introduction 1.1 Introducing logic programming 2 Programming with relations 3 Recursive structures 3.1 Lists 3.2 Deriving facts about append 3.3 More relations on lists 3.4 Binary trees 4 The meaning of logic programs 4.1 Syntax 4.2 Truth tables 4.3 Adding functions and variables 4.4 Substitutions 5 Inference rules 5.1 Substitution and ground resolution 5.2 Refutation 5.3 Completeness

Answer 2

"An Introduction to Logic Programming through Prolog"

I downloaded this book immediately because that seemed like exactly the subject matter that I'm interested in and that I want to read about.

However, the first thing I get to see when I open this with Reader, is the following :

Draft date : 2008-11-22 Copyright [...] 1995 To appear in february 1996

There is at least on lie in those simple three lines of content.

And telling lies is not exactly the best way to build "confidence at first eye-glance" in the content, especially if the author wants to pretend that he has something interesting to say about logic ...

I'll read on, but with a high degree of suspicion for any kind of sloppiness.

Answer 3

See also this question.