J. Schneeberger

XSLT and Logic Programming

This page contains material for my course at the LPAR summer school in Yogyakarta (October 2010).

Course overview

In the recent years, XML faced a tremendous boost sometimes referred to as the linqua franca of the internet. XML data can be found in large knowledge stores or as an intermediary format for large computer applications in so called services oriented systems. This success is based on various salient features of XML: platform independency, royalty freeness, meta level support, and extensibility.

In the context of XML, the tree processing language XSLT was developed. XSLT is used for internet publication purposes and it is integrated in numerous modern software platforms. The way XSLT works resembles remarkably the processing model of PROLOG. However, despite of this similarity relatively few attempts have been made to explore differences and combinations of XSLT and PROLOG respectively.

The course will recapitulate the interesting features of XML. It gives an introduction to XSLT and XPath, which is a matching language for tree structures. Finally, it will discuss possibilities to combine XML processing and logic programming.

PDFs (will be updated again ...)