Documentation Prolog Predicate Reference builtin \+/1

\+/1

Not provable.

Description

\+( @callable_term )

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

Implementation