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