George F. Luger
Univ. of New Mexico, Albuquerque
Agent-oriented programming: from prolog to guarded definite clauses