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

atomic(X)

atomic(X)

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

atomic(X):- atom(X).

atomic(X):- integer(X)

Оглавление статьи/книги

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