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

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



     Глава 4. Повторение и рекурсия

      4.1 Введение
      Очень часто в программах необходимо выполнить одну и ту же задачу
несколько раз. В программах на Турбо-Прологе повторяющиеся операции
обычно выполняются при помощи правил, которые используют откат и ре-
курсию. В этой главе рассматриваются итеративные и рекурсивные правила,
а так же общие способы их построения. Вводятся четыре важных метода:
метод отката после неудачи, метод отсечения и отката, правило повто-
ра, определяемое пользователем, и обобщенное рекурсивное правило.
Простые программы, использующие названные методы построения правил,
помогут лучше понять технику программирования, и вы легко сможете ис-
пользовать ее в собственных программах.
      Правила повтора и рекурсии должны содержать средства управления
их выполнением с тем, чтобы их использование было удобным. Встроен-
ные предикаты Турбо-Пролога fail и cut используются для управления отка-
тами, а условия завершения используются для управления рекурсией. Да-
лее рассматриваются все эти вопросы и специальные примеры, позволяющие
лучше понять эти методы.

      4.2 Программирование повторяющихся операций
      Цели управляют программой на Турбо-Прологе, обеспечивая выпол-
нение последовательности определенных задач. Вы уже знаете что, во-
первых, цели могут содержать подцели и, во-вторых, цели (и подцели) мо-
гут содержать правила. Правила часто требуют, чтобы такие задачи, как
поиск элементов в базе данных или вывод данных на экран выполнялись не-
сколько раз.
      Существуют два способа реализации правил, выполняющих одну и ту-
же задачу многократно. Первый их них будем называть повторением, а вто-
рой - рекурсией. Правила Турбо-Пролога, выполняющие повторения, исполь-
зуют откат, а правила, выполняющие рекурсию, используют самовызов.
      Вид правила, выполняющего повторение, следующий:
      repetitive_rule :-                /* правило повторения */
            <предикаты и правила>,


                                                                      69