Title: Prolog Techniques
Description: The book Prolog Techniques is the first of two volumes by the author on the programming language Prolog and its applications; the second, forthcoming, textbook is entitled Applications of Prolog.

You can download the book for free via the link below.