|
| |
functor(Term, F, Arity). - Определяет функтор F и арность Arity терма Term.
Term |
Терм |
F |
Имя функтора |
Arity |
Арность |
|
| |
Примеры
Цель |
Результат |
Комментарий |
goal: functor(Term, F, Arity). |
Нет |
|
goal: functor(a, F, Arity). |
F=a Arity=0 |
|
goal: functor(f(b, c, d), F, Arity). |
F=f Arity=3 |
|
goal: functor(M, a, 3). |
M=a(X1, X2, X3) |
|
goal: functor(M, a, N). |
Нет |
|
goal: functor(M, N, 4). |
Нет |
|
|
|