Release of BiMetaTrans 1.0: A Bidirectional Metalogical Translator Between Prolog and RuleML

From RuleML Wiki
Jump to: navigation, search

2020-06-28: Release of BiMetaTrans 1.0: A Bidirectional Metalogical Translator Between Prolog and RuleML
By Mark Thom
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).