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