"Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals" - читать интересную книгу автора (T. Van Le)