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