next up previous
Next: Call Arrows and Up: Rule Terms Previous: Agent calls


Agents

An agent is a rule term at the top level with any number of argument ports. It has to contain some rules.

agent



Volker Haarslev
Wed Jan 31 15:50:43 MET 1996