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

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

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


     1.2 Пакет системы Турбо-Пролог
     Пакет компилятора Турбо-Пролог состоит из двух дистрибутивных
дисков и Руководства пользователя, насчитывающего свыше 200 страниц.


                                                                       6