Go backward to Operational InterpretationGo up to TopGo forward to Syntax of Terms |

*Definition:* *Function constants*.

- A name that may represent some function.
- The
*arity*of the constant determines the arity of the functions it may stand for.

*Examples:*

- 0, 1, 3.14, "Wolfgang Schreiner", "Austria", pi (object constants);
- | |, sin(), sqrt( ), "mother of" (unary constants);
- +, o , [ ] (binary constants);

Author: Wolfgang Schreiner

Last Modification: October 6, 1999