Documentation Prolog Predicate Reference builtin call/1

call/1

Invoke a callable term as a goal.

Description

call( +callable_term )

call(Goal) is true if and only if Goal represents a goal which is true.

Implementation