Clause and Effect. Prolog Programming for the Working Programmer, Paperback/William F. Clocksin