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

       При помощи ОПН-метода вы научились использовать встроенный пре-
дикат fail для управлением механизмом отката Турбо-Пролога. Работа этого
правила была продемонстрирована на примерах программ.
       Введение ОО-метода продемонстрировало использование отсечения
(!), которое является встроенным средством Турбо-Пролога, а при обсужде-
нии МП-метода вы узнали, как присущая Турбо-Прологу возможность вы-
полнять рекурсию работает в определяемом пользователем правиле рекур-
сии. Вы также узнали, как вызывать это правило из других правил.
       Наконец, был представлен ОПР-метод построения рекурсивных пра-
вил. Его обсуждение включало применение этих правил в типичных ситуа-
циях. В качестве примеров рассматривалось печать последовательности це-
лых чисел, суммирование рядов и нахождение факториала целого числа.
Надеемся, что с этого момента применение этих методов для построения
правил не составит для вас труда. Рассмотренные методы являются мощ-
ным средством, которое очень часто используется при создании программ.


     Глава 5. Использование списков

      5.1 Введение
      В гл. 3 вы познакомились с основами представления данных в Турбо-
Прологе. Это прежде всего утверждения, объектами которых являются кон-
кретные значения (данные). Турбо-Пролог также поддерживает связанные
объекты, называемые списками. Список - это упорядоченный набор объ-
ектов, следующих друг за другом. Составляющие списка внутренне связа-
ны между собой , поэтому с ними можно работать и как с группой (списком
в целом), так и как с индивидуальными объектами (элементами списка).
      Турбо-Пролог позволяет выполнять со списком целый ряд операций.
Их перечень включает:
      * доступ к объектам списка;
      * проверка на принадлежность к списку;
      * разделение списка на два;
      * слияние двух списков;
      * сортировку элементов списка в порядке возрастания или убывания.
      Списки бывают, полезны при создании баз знаний (баз данных), экс-
пертных систем, словарей; перечень областей применения можно продол-
жать еще долго. В настоящей главе рассматриваются структура, организация
и представление списков, демонстрируются некоторые из методов, приме-
няемых при программировании на Турбо-Прологе.


      5.2 Списки и Турбо-Пролог
      Список является набором объектов одного и того же доменного
типа. Объектами списка могут быть целые числа, действительные чис-
ла, символы, символьные строки и структуры. Порядок расположения


                                                                      96