Go backward to ExampleGo up to TopGo forward to Logic Evaluator |

Predicate and function definitions:

predp(x_0, ...,x_n-1) <=>F; funf(x_0, ...,x_n-1) =T; funf(x) = such(xinS:F,x); funf(x_0, ...,x_n-1) recursiveR=T;

*See lecture notes for examples.*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999