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.
- "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