Проектирование систем искусственного интеллекта




Сравнение результатов арифметических выражений


Системные предикаты =:=, =\=, >, <, >= и <= определены как инфиксные операторы и применяются для сравнения результатов двух арифметических выражений.

Для предиката @ доказательство целевого утверждения 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, и неудачей в противном случае




Содержание  Назад  Вперед