J. D. Newmarch
Univ. of Canberra, Canberra, Australia
A plan-based approach to Prolog recursion
ACM SIGCSE Bulletin
Agent-oriented programming: from prolog to guarded definite clauses