RuleML
The Rule Markup Language (RuleML) is a markup language developed to express both forward (bottom-up) and backward (top-down) rules in XML for deduction, rewriting, and further inferential-transformati...