User Manual for the TrafoLa-H-ML System (Version 1.5)

Reinhold Heckmann


This manual refers to the ML interpreter of the backtracking i.e. relational dialect of TrafoLa-H. It must not be confused with the interpreter written in SSL for the functional version of TrafoLa-H.

The described interpreter has version number 1.5. Version 1.5 differs in many details from its predecessor, version 1.4b, that was distributed in June 1988 at Madrid. The system need no longer be loaded into the working directory. The overall execution is much faster (by a factor of 20 for some examples). Some bugs and deficiencies of the older version are now removed, but there is still need for further improvements.

Reinhold Heckmann /