8  Converting XML Deterministic Tree Automata to Prolog Notation with auto2pl