Daniel Cohen;Graem A. Ringwood
-;-
Agent-oriented programming: from prolog to guarded definite clauses