Horn logic examples to test and show downwards compatibility of the Reaction RuleML 1.0.1 DR dialect to Derivation RuleML 1.0