Essentials of logic programming

by Christopher John Hogger

The theoretical and practical fundamentals of logic programming.