next up previous
Next: Agent calls Up: Rule Terms Previous: Rule Terms


Rules

A rule is a rule term with any number of argument ports. It has to be inside of an agent.

rule



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