Documentation Prolog Predicate Reference builtin call/8

call/8

Invoke a callable term as a goal with seven extra arguments.

Description

call( +callable_term, +term, +term, +term, +term, +term, +term, +term )

call(Goal, ExtraArg, ExtraArg1, ExtraArg2, ExtraArg3, ExtraArg4, ExtraArg5, ExtraArg6) is true if and only if Goal represents a goal which is true after appending ExtraArg, ExtraArg1, ExtraArg2, ExtraArg3, ExtraArg4, ExtraArg5 and ExtraArg6 to its list of arguments.

Implementation