Опции компилятора из меню

Для диагностики во время исполнения Турбо Пролог поддерживает две

опции компилятора. которые могут быть установлены только из меню, пос-

кольку они не имеют соответствующей директивы компилятора. Это Integer

Overflow Check (Проверка переполнения целого) и Stack Check (Проверка

стека), которые находятся в меню Option/Compiler Directives/Run-Time

Check.

Integer Overflow Check (Проверка целого)

Это опция предпишет компилятору Турбо Пролога создать код проверяю-

щий переполнение целого (целое значение, превышающее 32767, приводит к

переполнению).

Если вы знаете, что ваши целые числа не будут приближатся к этому

вызывающему переполнение значению, то можете не задавать создание такого

кода (по умолчанию проверка не производится). Если вы считаете, что ваши

целые числа могут привести к переполнению, установите O/C/R/Integer

Overflow Check в On и ваша программа будет предупреждать, если во время

ее выполнения возникнет переполнение целого.

Stack Check (Проверка стека)

Эта опция предпишет компилятору создать программу, которая будет

проверять переполнение стека во время выполнения. При этом, если в вашей

программе произойдет переполнение стека, сообщение об ошибке все же лучше

чем аварийное завершение. Для того, чтобы отследить эту ошибку, вы можете

использовать предикат trap (описан в главе 19). Для создания такой прог-

раммы установите O/C/ R/Stack Check в On.

Обзор

Приведем основные моменты, описанные в этой главе:

1. Первым шагом отладки в Турбо Прологе является проверка синтакси-

са, при которой определяются синтаксические ошибки в программе во

время компиляции. При этом курсор помещается под найденной ошибкой,

что позволяет быстро и легко ее исправить.

2. В режиме трассировки вы можете проходить всю вашу программу (или

ее части), причем Турбо Пролог сообщает о вызовах, сравнениях, неу-

дачах, возвратах и попытках поиска с возвратом, как только они воз-

никают.

3. Турбо Пролог содержит директивы компилятора для отладки, которые

вы можете располагать в вашей программе. Это check_determ,

diagnostics и nowarnings. Вы можете также выбрать их из меню

Option/Compiler Directives как Non-Determ Warning (Предупреждение о

неопределенности), Diagnostics (Диагностика) и Variable Used Once

Warning (Предупреждение о переменных используемых один раз) соответ-

ственно.

4. Вы можете управлять выводом сообщений об ошибках времени исполне-

ния программы, если воспользуетесь директивой errorlevel. Возможно

также выбрать диагностику времени исполнения из меню O/C/R/Integer

Overflow Check, O/C/Error Level и O/C/R/Stack Check.

Часть 3. Описание турбо пролога 2.0 глава 11. Арифметические вычисления и сравнения

Возможности вычислений и сравнений в Турбо Прологе аналогичны соот-

ветствующим возможностям таких языков программирования, как Бэйсик, Си,

Паскаль. Турбо Пролог включает полный набор арифметических функций. Вы-

числительные возможности Турбо Пролога уже были показаны на нескольких

простых примерах.

В этой главе приведен обзор встроенных в Турбо Пролог предикатов и

функций для выполнения вычислений и сравнений в двух парных версиях стан-

дартных предикатов, использующихся для работы с целыми и вещественными

числами.