Book

Prolog programming and applications

by W. D. Burnham, W. Burnham, A. Hall