Системные предикаты =:=, =\=, >, <, >= и <= определены как инфиксные операторы и применяются для сравнения результатов двух арифметических выражений.
Для предиката @ доказательство целевого утверждения X@Y заканчивается успехом, если результаты вычисления арифметических выражений Х и Y находятся в таком отношении друг к другу, которое задается предикатом @.
Такое целевое утверждение не имеет побочных эффектов и не может быть согласовано вновь. Если Х или Y - не арифметические выражения, возникает ошибка. С помощью предикатов описываются следующие отношения:
Х =:= Y Х равно Y;
Х =\= Y Х не равно Y;
Х < Y Х меньше Y;
Х > Y Х больше Y;
Х <= Y Х меньше или равно Y;
Х >= Y Х больше или равно Y. Использование предикатов иллюстрируют такие примеры:
а > 5 заканчивается неудачей;
5+2+7 > 5+2 заканчивается успехом;
3+2 =:= 5 заканчивается успехом;
3+2 < 5 заканчивается неудачей;
2 + 1 =\= 1 заканчивается успехом;
N > 3 заканчивается успехом, если N больше 3, и неудачей в противном случае.
Опубликовал Kest
September 30 2010 13:39:41 ·
0 Комментариев ·
6223 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
