"Agent-Oriented Programming: From Prolog to Guarded Definite Clauses " - читать интересную книгу автора (Matthew M. Huntbach, Graem A. Ringwood)