Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

atomic(X)

atomic(X)

Целевое утверждение atomic(X) согласуется с базой данных, если на текущий момент X обозначает либо целое число, либо атом. Предикат atomic может быть определен через предикаты atom и integer следующим образом:

atomic(X):- atom(X).

atomic(X):- integer(X)

Содержание
var(X)
nonvar(X)
atom(X)
integer(X)
atomic(X)
Оглавление статьи/книги
Похожие страницы

Генерация: 0.052. Запросов К БД/Cache: 0 / 0
поделиться
Вверх Вниз