V. J. Rayward-Smith;G. P. McKeown;F. W. Burton
Univ. of East Anglia, Norwich, UK;Univ. of East Anglia, Norwich, UK;Univ. of Colorado, Denver
Agent-oriented programming: from prolog to guarded definite clauses