arg(N, Term, Arg).
 

arg(N, Term, Arg). - анализ терма.

N

Номер аргумента

Term

Терм

Arg

N-ный аргумент терма Term