Book

Introduction to Logic Programming

by Michael Genesereth, Vinay K. Chaudhri, Ronald Brachman, Francesca Rossi, Peter Stone