search

RuleML / issues-ruleml

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

Optional Rulebase in Entails #39

Closed greenTara closed 9 years ago

greenTara commented 9 years ago

From http://wiki.ruleml.org/index.php/Optional_Rulebase_in_Entails

Allow 'if' and/or 'then' in Entails to contain a single formula, instead of a single Rulebase. This would allow Entails and Rulebase to be orthogonalized in the MYNG GUI.

greenTara commented 9 years ago

MYNG GUI needs to be modified.

greenTara commented 9 years ago

This fix needs to be merged into a release branch before closing.