Language Reference Manual for relational TrafoLa-H (Version 1.5)

Reinhold Heckmann


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

The described language has version number 1.5. Version 1.5 differs in many details from its predecessor, version 1.4b, whose interpreter was distributed in June 1988 at Madrid. The language was extended by user defined macros and user definable error messages. Some new operators were introduced, and the set of predefined functions was completely revised and extended.

We shall first define the syntax of the language exactly, then describe its semantics informally.

Reinhold Heckmann /