RELFUN Guide:
Programming with Relations and Functions
Made Easy

Harold Boley,
Simone Andel, Klaus Elsbernd, Michael Herfert,
Michael Sintek, Werner Stein

DFKI
Universität Kaiserslautern
Erwin-Schrödinger-Straße
67663 Kaiserslautern
Germany

Second, Revised Edition

July 1996

Abstract:

A practical description of relational/functional programming in RELFUN is given. The language constructs are introduced by a tutorial dialog. Builtins, primitives, and commands are explained. Examples are given on all aspects relevant to using the language.

• Contents
• 1 Getting Started
• 2 Builtins and Primitives
  • 2.1 RELFUN Builtins
  • 2.2 RELFUN Primitives
• 3 The Type System
• 4 Dynamic Signature Unification
• 5 The Module System
• 6 Interaction Commands
• 7 Access Primitives
• 8 An Introductory Example
• References
• A Tutorial Dialog
• B Type-System Dialog
• C Builtin-Sorts Dialog
• D User-Defined Sorts Dialog
• E Dynamic-Signatures Dialog
• F Module-System Dialog
• About this document ...