Agent-Oriented Programming From Prolog to Guarded Definite Clauses - Huntbach, Matthew M.; Huntbach, Matthew M.; Ringwood, Graem A. (Springer Berlin Heidelberg : Imprint: Springer, 1999)