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.
- 0, 1, 3.14, "Wolfgang Schreiner", "Austria", pi
- | |, sin(), sqrt( ),
"mother of" (unary constants);
- +, o , [ ] (binary constants);
Author: Wolfgang Schreiner
Last Modification: October 6, 1999