[ library(apply) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# apply(?Term, ?Args)

The apply/2 higher-order predicate

Term
  An atom or compound term
Args
  A list of arbitrary terms

## Description

Invokes a goal that is formed by appending the elements of the list Args as additional arguments to Term.

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

## Examples

        % The following three examples all invoke the goal plus(1,2,X):

        ?- apply(plus, [1,2,X]).
        X = 3

        ?- apply(plus(1), [2,X]).
        X = 3

        ?- apply(plus(1,2), [X]).
        X = 3

        % Error:

        ?- apply(plus(1),[2]).
        calling an undefined procedure plus(1, 2) in module eclipse
        Abort