RuleML/consumer-ruleml
A RuleML consumer sublanguage
Public GitHub Catalog
Discovered Oct 5, 2026
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.
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.
#28785211GitHub 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