Залишок від ділення цілих чисел (порівняння за модулем). При обчисленні, ініційованому предикатом is, його результатом є цілочисельний залишок, що отримується при діленні X на Y. Аргументи мають бути конкретизовані структурами, які можна обчислити і отримати в якості результатів цілі числа.
51.Порівняння чисел
X = Y
Предикат перевірки на рівність вважається погодженим і у разі, коли його аргументами є рівні цілі числа.
X\=Y
Предикат перевірки на неспівпадання також застосуємо для цілих чисел. Він виконується, коли його аргументами є різні числа.
X<Y
Предикат менше виконується, якщо ціле число, що відповідає лівому аргументу, менше, ніж число, що відповідає правому аргументу. Обидва аргументи мають бути конкретизовані.
X > Y
Предикат більше виконується, коли ціле число, що відповідає лівому аргументу, більше, ніж ціле число, що відповідає правому аргументу. Обидва аргументи мають бути конкретизовані, інакше виникає помилка.
X >= Y
Предикат більше або рівно виконується, коли ціле число, що відповідає лівому аргументу, більше або рівне цілого числа, що відповідає правому аргументу. Обидва аргументи мають бути конкретизовані.
X =< Y
Предикат менше або рівне виконується, коли лівий аргумент менше або дорівнює правому аргументу. Обидва аргументи мають бути конкретизовані. Відмітимо, що цей предикат записаний як '=<', а не '<=' так що символ '<=' є вільним і може бути використаний в якості оператора, який виглядає як стрілка.
52.Спостереження за виконанням програми на Пролозі
У цьому питанні описані вбудовані предикати, які дозволяють спостерігати за виконанням вашої програми. trace
Ефект виконання предиката trace полягає у встановленні режиму повного трасування. Це означає, що після виконання trace ви отримаєте можливість спостерігати за кожним з чотирьох основних типів подій, які відбуваються з кожним породжуваним вашою програмою цільовим твердженням.
Notrace
Ефект виконання предиката notrace полягає у відміні режиму повного трасування. Проте зберігається трасування, що викликається наявністю контрольних точок (предикат spy).
Spy Р
Предикат spy використовується, коли необхідно звернути особливу увагу на виконання цільових тверджень, що містять конкретні предикати. Це можна зробити, встановивши на них контрольні точки. Предикат spy означений як префіксний оператор, і тому немає необхідності брати в дужки його аргумент. Аргументом предиката може бути:
• Атом
• Структура
• Список
