Re: XSLT and natural semantics
Does anyone know if a definition of the xslt language in natural semantics format exists?
What I want to do is to translate XSLT to a prolog implementation called "conditional transformations".
Conditional transformations (CTs) work on a prolog factbase and are used to transform these facts. The transformation is only triggered if the conditions are fulfilled. Usually the composition of serveral CTs is used to get a desired result.
My idea is to translate XSLT to CTs and XML to a prolog factbase. There seem to be some advantages as far as modularity is concerned if CTs are used instead of XSLT to transform XML because if serveral stylesheets are used in a row one can not undo one of these stylsheets without saving the intermediate results explicitly. With CTs that would be possible.
So, I need to translate XSLT to CTs which is actually prolog code and therefor I thought it would be a good idea to have XSLT expressed in natural semantis format.
PURCHASE STYLUS STUDIO ONLINE TODAY!
Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!
Download The World's Best XML IDE!
Accelerate XML development with our award-winning XML IDE - Download a free trial today!
Subscribe in XML format