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

Reinhold Heckmann

Table of contents

Introduction			4
1.	Syntax of relational TrafoLa-H		4
	1.1.	Tokens	4
	1.2.	Grammar	5
	1.3.	Binary operators	7
	1.4.	Ambiguities	8
2.	Semantics of relational TrafoLa-H		8
	2.1.	Values and multi-values	9
	2.2.	Lazy and eager declarations	11
	2.3.	Functions, macros, and application	12
	2.4.	Predefined operations	13
	2.5.	Order of results	32
3.	Known deficiencies of the language		33
4.	Updates with respect to version 1.4		34