Invoke a callable term as a goal with three extra arguments.
Description
call( +callable_term, +term, +term, +term )
call(Goal, ExtraArg, ExtraArg1, ExtraArg2) is true if and only if Goal represents a goal which is true after appending ExtraArg, ExtraArg1 and ExtraArg2 to its list of arguments.