K. Furukawa;A. Okumura;M. Murakami
-;-;-
Agent-oriented programming: from prolog to guarded definite clauses