Equations Available at All Expressivity Levels

From RuleML Wiki
Jump to: navigation, search

--Athant 12:38, 29 June 2012 (UTC)


Equations could be allowed at the Datalog level, and even lower, as Equal is just a particular binary predicate/relation (in one of its incarnations anyway).

  • Implemented in 0.91+ Relax NG schemas
  • Fully implemented in 1.01 through the auto-generated XSDs.