Web Knowledge Management and Decision Support at the 14th International Conference on Applications of Prolog, INAP 2001, October 20-22, 2001., Tokyo, Japan
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 employed for practical XML-to-XML and XML-to-(X)HTML transformation of Prolog on the Web.