Основы проектирования систем искусственного интеллекта

       

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


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

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



Содержание раздела