"Negation and Control in Prolog (Lecture Notes in Computer Science, 238) " - читать интересную книгу автора (Lee Naish)