prolog::args0/3¶

(undocumented)

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

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

It corresponds to calling args0//33 but with a different order.

Private-func:¶

1. prolog::args0_3::args0/3(int ARG1, int ARG2, int ARG3)():