Definitions for "RuleML"
The n-ary top-level of a RuleML document. It permits (ordered) transactions of performatives (Assert, Query or Protect), making an 'implicitly sequential' assumption. (See: performative module)