Go backward to Operational InterpretationGo up to TopGo forward to Syntax of Atomic Formulas |

*Definition:* *Predicate Constant*.

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

*Example:*

- "is positive" (unary predicate constant);
- <= , | (binary predicate constants);
- "is father of" (binary predicate constant);
- "is a child of ...and of ..." (ternary predicate constant).

Author: Wolfgang Schreiner

Last Modification: October 6, 1999