Free logic programming book.

A good (free) intro to the theory of logic programming.  It looks like a textbook that went out of print.  Gives a model theoretic account.  Consider also my adviser's notes for a type theoretic approach.