Logic Programming by D.S. Warren