Book

The logical structure of sequential prolog

by James H. Andrews