class PREDICATE [O_ -> TUPLE]

All features

A PREDICATE is a FUNCTION with a BOOLEAN result type. As in other agent's definitions, O_ represents open arguments (i.e. arguments which are delayed).

Direct parents

conformant parents

FUNCTION

Summary

exported features

Details

item (o: O_): R_

Result of calling feature with all its operands, using o for the open operands.

call (o: O_)

Call feature with all its operands, using o for the open operands.