The Art of Prolog - pocket, Engelska, 1994