Go backward to
Logic Evaluator
Go up to
Top
Summary
Definitions.
Theories and their extension.
Explicit predicate and function definitions.
Constrained definitions.
Conditional definitions.
Implicit function definitions.
Unicity of definitions.
Recursive predicate and function definitions.
Termination functions.
Author:
Wolfgang Schreiner
Last Modification: October 14, 1999