compound(X).
 

compound(X). - Предикат проверяет, является ли его аргумент X составным термом.

X

Терм
 

Цель

Результат

Комментарий

goal: compound(X).

Нет

Неунифицированная переменная X не является составным термом

goal: compound(1).

Нет

1 не является составным термом

goal: compound(t).

Нет

t не является составным термом

goal: compound(‘t’).

Нет

't' не является составным термом

goal: compound(r(t)).

Да

r(t) является составным термом

goal: eq(X, r(t)), compound(X).

Да

Переменная X унифицирована составным термом r(t)