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.
Public GitHub Catalog
Discovered Oct 5, 2026
RuleML / consumer-ruleml
A RuleML consumer sublanguage
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#29506572GitHub System ID
RuleMLOrganization / User
PublicVisibility
ActiveCatalog Status
More from RuleML
RuleML/psoa-ruleml
Positional-Slotted, Object-Applicative RuleML
RuleML/2003-ruleml
website for the RuleML 2003 symposium
RuleML/2015-ruleml
website for the RuleML 2015 symposium