args0/5¶

args0( +Index, +ListOfTerms , -ListOfArgs )*

Succeeds if ListOfArgs unifies with the application of genarg0//33 to every element of ListOfTerms.

It corresponds to calling maplist//33 on genarg0//33: ```

args( I, Ts, As) :- maplist( genarg0(I), Ts, As).

Notice that unification allows __ListOfArgs__ to be bound, eg:

?- args(1, [X1+Y1,X2-Y2,X3*Y3,X4/Y4], [1,1,1,1]). X1 = X2 = X3 = X4 = 1. ```