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.