10  Converting Tree Automata and Prolog Programs to TPTP Files