Программирование на языке Турбо-Пролог 2.0. Николаев В.Г - 58 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

- 58 -
2.17. Предикаты управления (CONTROL PREDICATES)
findall(Variable,Atom,ListVariable) - (i,i,o)
Собирает значения возникающие в процессе бектрекинга в список.
not(Atom) - (i)
Отрицание. Выполняется успешно, если заданный Atom представля-
ет собой цель, которая не достигается.
free(Variable) - (i) Проверяет, свободна ли переменная.
bound(Variable) - (i) Проверяет, связана ли переменная.
fail Осуществляет вынужденное неудачное завершение выполнения
предиката и таким образом инициирует бектрекинг.
true Всегда истинный предикат.
getbacktrack(BTOP) (integer) - (o)
Определение уровня возвратов при бектрекинге.
cutbacktrack(BTOP) (integer) - (i)
Установка уровня возвратов при бектрекинге.
2.18. Предельные параметры в системе Турбо-Пролог
Максимальный размер кодовой матрицы
(Code array) = 16000 параграфов = 256К
Максимальный размер стека (Stack) = 4000 параграфов = 64К
Максимальный размер следа (Trail array) = 4000 параграфов = 64К
Максимальный размер кучи (Heap) = ограничивается размером
свободного места в ОЗУ.
1К = 1024 байт
1 параграф = 16 байт
Уровень ошибки при выполнении программы (errorlevel) = 0, 1, 2
Максимальный размер исходного модуля = 64К
Максимальный размер строки в программе = 256 символов

Страницы