Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying
2020 ◽
pp. 112-128
Keyword(s):
Keyword(s):