Next: mpg-ref-ask_query, Previous: mpg-ref-append, Up: mpg-bpr [Contents][Index]
arg/3
ISOarg(+ArgNum, +Term, -Arg)
unifies Arg with the ArgNumth argument of term Term.
integer, must be nonvar and non-negative.
compound, must be nonvar
term
The arguments are numbered from 1 upwards.
instantiation_error
if ArgNum or Term is unbound.
type_error
if ArgNum is not an integer, or Term is not compound.
domain_error
if ArgNum is an integer less than zero.
| ?- arg(2, foo(a,b,c), X). X = b
functor/3
, =../2
, ref-lte-act.