Navigation  without Java Scripts

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