search

RuleML / issues-ruleml

A repository solely for RuleML issues. No schemas or documents should be committed here.
3 stars 3 forks source link

Ordered formula edges in Conjunction and Disjunction #57

Closed greenTara closed 9 years ago

greenTara commented 9 years ago

Implementing http://wiki.ruleml.org/index.php/Specifying_Ordering_Information#Refinement_A

greenTara commented 9 years ago

commit https://github.com/RuleML/deliberation-ruleml/commit/185ebbf75f5f417ba1f3e682f0e4faf58ca38425 for the Deliberation RuleML 1.02 implementation

greenTara commented 9 years ago

commit 105248eea91a470680526d5e696ce262f408d3b1 for the Consumer RuleML 1.02 implementation