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

Reinhold Heckmann / heckmann@absint.com