SweetRules is a pluggable set of rules tools for RuleML and SWRL featuring: interoperability between Prolog, production rules, OWL, CommonRules, Jena-2, and several other languages; and inferencing with negation, priorities, and procedural attachments.
UMBC ebiquity