Action Rules and Events

The AR (Action Rules) language is designed to facilitate the specification of event-driven functionality needed by applications such as constraint propagators and graphical user interfaces where interactions of multiple entities are essential [16]. An action rule specifies a pattern for agents, an action that the agents can carry out, and an event pattern for events that can activate the agents. An agent is a call or subgoal that can be suspended and later activated by events. Agents are a more general notion than freeze in Prolog-II and processes in concurrent logic programming in the sense that agents can be responsive to various kinds of events including user-defined ones. This chapter describes the syntax and semantics of action rules. Examples will be given in later chapters on the use of action rules to program constraint propagators and interactive user interfaces. A compiler which translates CHR (Constraint Handling Rules) into AR is presented in [].