QuintusArgs¶

Functions:¶

1. static Int genarg(USES_REGS1): : "genarg( ?Index, +Term , -Arg " )

@class genarg_3

Similar to arg_51 "arg/3", but it can also backtrack through T's arguments, that is:

@icode ?- arg:genarg(I, f(a,b), A). A = a, I = 1. ; A = b, I = 2. @endicode

Note: SWI-Prolog defines @ref arg_51 @"arg/3" as @ref genarg_51 @"genarg/3".

1. static Int cont_genarg(USES_REGS1):

1. void Yap_InitInlines(void):