The rule markup language: RDF-XML data model, XML schema hierarchy, and XSL transformations

Shared declarative aspects of Prolog and XML are examined. An XML version of pure Prolog is shown to be at the center of the Rule Markup Language. The RuleML data model uses Order-Labeled trees, combining the RDF and XML models. As part of RuleML's hierarchy of sublanguages, the RuleML-Prolog DTD is developed into an XML Schema. XSLT (XSL Transformations) is employed for practical XML-to-XML and XML-to-(X)HTML transformation of Prolog on the Web.