arg/3

arg(N,TERM,ARG)

Unify the Nth argument of the term

Remarks

The arguments in a term are numbered from left to right begining with 1.

Example

arg(2,f(X,t(a),t(b)),Y)

Y=t(a)

1 Solution

See also:

functor/3