Documentation call/1
available from version beta

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