Go backward to DomainGo up to TopGo forward to Predicate Logic |

- The set of natural numbers
- constants "zero" and "one", binary functions "addition", "multiplication";
- binary predicate "is less than';

- The people in Austria
- functions "mother of" and "father of";
- unary predicates "is male" and "is female"; ternary predicate "are parents of";

- The set of Java values of types
`int`

and`int[]`

- function "indexed array access";
- predicate "is sorted".

Author: Wolfgang Schreiner

Last Modification: October 6, 1999