constant(X).
 

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

X

Терм

 

Определение предиката

constant(X) if integer(X).
constant(X) if atom(X).

 

Примеры

Цель

Результат

Комментарий

goal: constant(X).

Нет

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

goal: constant(1).

Да

1 является константой

goal: constant(t).

Да

t является константой

goal: constant(‘t’).

Да

‘t’ является константой

goal: constant(r(t)).

Нет

r(t) не является константой

goal: eq(X, 1), constant(X).

Да

Переменная X унифицирована константой 1