:

arg(N,T,A)

arg(N,T,A)

arg . . arg , . , . arg. , arg(N,T,A) , N- . arg.

?- rg(2,(,()),).

X = ()

?- arg(1,a+(b+c),X).

X =

?- arg(2,[a,b,c],X).

X = [b,c]

?-arg(l,a+(b+c),b).

functor arg , . , , . , . , , , . , . :

_ ((_,_,_,_,_,_,_,_,_,_,_,_,_,_)).

((,_,_,_,_,_,_,_,_,_,_,_,_,_),).

((_,,_,_,_,_,_,_,_,_,_,_,_,_),).

.. .

:

_():- functor(X, , 14).

(,):- _(), arg(1,X,T).

(,):- _(), arg(2,X,T).

. . .


: 0.087. /Cache: 2 / 0