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) – не атом, а составной терм