X mod Y

Залишок від ділення цілих чисел (порівняння за модулем). При обчисленні, ініційованому предикатом 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 означений як префіксний оператор, і тому немає необхідності брати в дужки його аргумент. Аргументом предиката може бути:

• Атом

• Структура

• Список