"Agent Oriented Programming From Prolog to Guarded Definite Clauses" - читать интересную книгу автора