Title: Agent-oriented programming: from prolog to guarded definite clauses