Release of BiMetaTrans 1.0: A Bidirectional Metalogical Translator Between Prolog and RuleML
From RuleML Wiki
This is the release of BiMetaTrans(Prolog, RuleML) 1.0, an invertible bidirectional metalogical translator across subsets of ISO Prolog and RuleML/XML 1.02 on the level of Negation-as-failure Horn logic with Equality. BiMetaTrans, itself written in Prolog, introduces a tighter integration between RuleML and Prolog, which enables the reuse of, e.g., RuleML knowledge bases and query engines. For more information, see BiMetaTrans 1.0 source (code and documentation), Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying (preprint, slides).