Executing Logical Agent Specifications

Abstract

Many agent-oriented programming languages are based on the Prolog like logical goal reduction approach where rules are used to reduce, in a depth-first way, aselected goal. The ability of agents to change between goals means that such languages often overlay the basic computational engine with a mechanism for dynamically changing which goal is selected.