/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.

Primary LanguageXSLT

See the entry page of the project for more introduction.

Getting Started

  1. This project is built using maven;
  2. Use option "--help" for a brief usage;
  3. Translate a RuleML file by calling "java -jar /path/to/ruleml2tptp.jar <input> -o <output>";
  4. This project needs JDK 1.7 or higher to compile the Java code.