The Art of Prolog, 2nd ed (1994)

by Sterling