Agent-Oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science, 1630, Band 1630)