From Logic to Logic Programming (Foundations of Computing)

Rating:
Summary: Good book for Logic Programing Classes
Review: This is a book that presents logic programming paradigm in very modern, clear and concise way.

The book does not contain description of any particular logic programming language, but gives mathematical foundations of logic programming, such as, Herbrand interpretations, unification, Resolution, SLDNF-resolution, the least Herbrand models and fix-points, computability...

Worth to buy.