Documentation \+/1
Related predicates
available from version beta

\+/1

Not provable.

Description

\+( @callable_term )

\+(Term) is true if and only if call(Term) is false.

Implementation