atom(X).
 

atom(X). - Проверяет истинность утверждения, состоящего в том, что аргумент X предиката является атомом языка Пролог.

X

Терм

 

Цель

Результат

Комментарий

goal: atom(X).

Нет

Переменная не является атомом

goal: atom(1).

Да

1 - атом

goal: atom(t).

Да

t - атом

goal: atom('t').

Да

‘t’ - атом

goal: atom(r(t)).

Нет

r(t) – не атом, а составной терм