Logic Programming by James H. Andrews