  Transforming XML documents with conventional XML languages, like XSL-T, is
disadvantageous because there is too lax abstraction on the target language and
it is rather difficult to recognize rule-oriented transformations. Prolog as a
programming language of declarative paradigm is especially good for
implementation of analysis of formal languages. Prolog seems also to be good
for term manipulation, complex schema-transformation and text retrieval. In
this report an appropriate model for XML documents is proposed, the basic
transformation language for Prolog LTL is defined and the expressiveness power
compared with XSL-T is demonstrated, the implementations used throughout are
multi paradigmatic.
