RuleML/consumer-ruleml
A RuleML consumer sublanguage
Public repository discovered through GitHub real-time crawl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A RuleML consumer sublanguage
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.
Positional-Slotted, Object-Applicative RuleML
website for the RuleML 2003 symposium