Agent-Oriented Programming : From Prolog to Guarded Definite Clauses - Matthew M. Huntbach, Graem A. Ringwood ((Lecture Notes in Computer Science))