The Art of Prolog : Advanced Programming Teachniques - STERLING (L) / SHAPIRD (E) (P.H.I.(3E) E, 1994)