Интеллектуальные информационные системы. Макаренко С.И. - 130 стр.

     2*4-4 is 4       - заканчивается неудачей,
     a is 3+3         - заканчивается неудачей,
     X is 4+а         - заканчивается неудачей,
     2 is 4-X         - заканчивается неудачей.
     Необходимо обратить внимание, что предикат is требует, чтобы его
первый аргумент был числом или неконкретизированной переменной.
Поэтому М-2 is 3 записано неверно. Предикат is не является встроенным
решателем уравнений.

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

     Системные предикаты =:=, =\=, >, <, >= и <= определены как
инфиксные операторы и применяются для сравнения результатов двух
арифметических выражений.
      Для предиката @ доказательство целевого утверждения 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, и неудачей
в противном случае.

                                      129