Book

Logic Programming

by James H. Andrews, J. Andrews