previous up next
Go backward to Example
Go up to Top
Go forward to Logic Evaluator
RISC-Linz logo

Logic Evaluator

Predicate and function definitions:

pred p(x_0, ..., x_n-1) <=> F;
fun f(x_0, ..., x_n-1) = T;
fun f(x) = such(x in S: F, x);
fun f(x_0, ..., x_n-1) recursive R = T;

See lecture notes for examples.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next