shazhendong / ruleml2tptp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ruleml/ruleml2tptp
This project is aimed at implementing an XSLT 2.0 translator to convert Deliberation RuleML 1.01 in XML format to an equivalent representation in a subset of the TPTP (Thousands of Problems for Theorem Provers) format.