The Art of Prolog - pocket, Engelsk, 1994