TURBO PROLOG. Терёхин В.В. - 35 стр.

      Внутренние унификационные подпрограммы означивают переменные.
Означенные переменные и константы имеют значения, "известные" Турбо-
Прологу. Свободные переменные значений не имеют. Турбо-Пролог исполь-
зует откаты для определения альтернативных путей вычисления цели или
подцели. Если подцель оказалась неуспешной, а указатели отката были ус-
тановлены, то для предыдущей подцели будет сделана попытка добиться
успеха, начиная с точки отката.
      Понимание поведения переменных, унификации и отката может ока-
заться весьма сложным для начинающих знакомиться с Турбо-Прологом.
Эта глава дала возможность познакомиться с несколькими примерами, иллю-
стрирующими связь между переменными, унификацией и откатом во время
работы системы. После того, как вы продолжите знакомство со следую-
щими главами, вы почувствуете себя более уверенными в скрытых операци-
ях, выполняемых программами на Турбо-Прологе.



     Глава 3. Основы программирования на Турбо-Прологе

      3.1 Введение
      Синтаксис и структура программ Турбо-Пролога, описанию которых
посвящена данная глава, отражают концепции логики предикатов, престав-
ленье в гл. 2.
      В целях упрощения организации фактов и правил Турбо-Пролог
поддерживает составные доменные структуры; кирпичиками для их создания
служат базисные типы доменов Турбо-Пролога. В настоящей главе рас-
сматривается вопрос создания составных объектов и доменных структур на
основе этих базисных типов.
      Примеры программ главы ставят целью продемонстрировать новые
концепции и методы программирования, а упражнения дают возможность
поэкспериментировать с программами. Прочитав главу, Вы уже будете
иметь достаточно знаний об использовании некоторых полезных приемов
программирования на Турбо-Прологе.

      3.2 Структура программ Турбо-Пролога
      Любая программа, написанная на Турбо-Прологе, состоит из пяти
разделов. Таковыми являются раздел описания доменов, раздел базы дан-
ных, раздел описания предикатов, раздел описания цели и раздел описания
утверждений. Ключевые слова domains, database, predicates, goal и clauses
отмечают начала соответствующих разделов.
      Назначение этих разделов таково:
- раздел domains содержит определения доменов, которые описывают раз-
  личные классы объектов, используемых в программе;
- раздел database содержит утверждения базы данных, которые являются
  предикатами динамической базы данных. Если программа такой базы дан-


                                                                       35