Book

Prolog Programming in Depth

by Michael A. Covington, Donald Nute, Andre Vellino