SWI-Prolog -- (>>)/3

Availability::- use_module(library(yall)).(can be autoloaded)

+Parameters >> +Lambda

>>(+Parameters, +Lambda, ?A1)

>>(+Parameters, +Lambda, ?A1, ?A2)

>>(+Parameters, +Lambda, ?A1, ?A2, ?A3)

>>(+Parameters, +Lambda, ?A1, ?A2, ?A3, ?A4)

>>(+Parameters, +Lambda, ?A1, ?A2, ?A3, ?A4, ?A5)

>>(+Parameters, +Lambda, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6)

>>(+Parameters, +Lambda, ?A1, ?A2, ?A3, ?A4, ?A5, ?A6, ?A7)

Calls a copy of Lambda. This is similar to call(Lambda,A1,...), but arguments are reordered according to the list Parameters:

The first length(Parameters) arguments from A1, ... are unified with (a copy of) Parameters, which may share them with variables in Lambda.
Possible excess arguments are passed by position.

Parameters is either a plain list of parameters or a term {Free}/List. Free represents variables that are shared between the context and the Lambda term. This is needed for compiling Lambda expressions.