Documentation Prolog Predicate Reference builtin call/2

call/2

Invoke a callable term as a goal with an extra argument.

Description

call( +callable_term, +term )

call(Goal, ExtraArg) is true if and only if Goal represents a goal which is true after appending ExtraArg to its list of arguments.

Implementation