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

integer(X)

integer(X)

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

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

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