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

UptoLike

ВУЗ: 

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

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

Рубрика: 

- 6 -
Термы в Турбо-Прологе могут быть в двух формах:
1. Предикатные термы.
2. Термы-предикаты внутренней и внешней баз данных.
По структуре термы баз данных не отличаются от предикатных
термов.
+------------------------------------------------------+
¦ В Турбо-Прологе обязательно объявление всех ¦
¦ термов в разделе [GLOBAL] PREDICATES, [GLOBAL] ¦
¦ DATABASE и их компонент в разделе [GLOBAL] ¦
¦ DOMAINS. В скомпилированной Турбо-Пролог-программе ¦
¦ возможно производить модификацию только термов баз ¦
¦ данных. Это сделано с целью повышения ¦
¦ быстродействия Пролог-программ и их компиляции, а ¦
¦ также введение дополнительного контроля за типами ¦
¦ переменных. Все это существенно отличает Турбо- ¦
¦ Пролог от других версий языка. ¦
+------------------------------------------------------+
Все термы могут быть объявлены как детерминированные или не-
детерминированные.
Недетерминироваными являются предикаты, которые могут вызы-
ваться на пересогласование с базой данных при бектрекинге (возв-
рате по несогласованию следующего предиката). Детерминированные
предикаты при возврате пропускаются (не пересогласовываются с ба-
зой данных).
+------------------------------------------------------+
¦ Детерминированные предикаты занимают меньше ¦
¦ места в памяти ЭВМ, после компиляции и выполняются ¦
¦ быстрее. ¦
+------------------------------------------------------+
Все встроенные предикаты из системной библиотеки и предика-
ты-процедуры, созданные при помощи других языков программирования
и скомпонованные в единый рабочий модуль, выполняются как детер-
минированные. Кроме того, все предикаты по умолчанию рассматрива-
ются компилятором как детерминированные. Существует также стан-
дартный предикат check_determ для проверки предикатов на детерми-
нированность.
Для объявления принадлежности предиката к той или другой
группе в Турбо-Прологе существуют служебные слова determ и
nondeterm, с помощью которых вы можете определить предикат.

Страницы