Matthew M. Huntbach Graem A. Ringwood Agent-Oriented Programming, From Prolog to Guarded Definite Clauses. Lecture Notes in Computer Science 1630 Springer 1999 3-540-66683-4 http://dx.doi.org/10.1007/3-540-47938-4