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

полняет их. Компилятор транслирует в машинные коды сразу весь текст про-
граммы. Турбо-Пролог транслирует исходный текст программы особенно
быстро (быстрее всех других версий Пролога для компьютеров IBM PC).
Также он позволяет легко создавать отдельные выполнимые файлы. Далее,
Турбо-Пролог имеет прекрасный пользовательский интерфейс для отладки
программ. Другими словами, Турбо-Пролог - это наилучший товар на рынке
программного обеспечения на сегодняшний день.

                             Что такое Пролог ?
      Название Пролог произошло от словосочетания "программирование
при помощи логики" (Prolog PROgramming in LOGic). Пролог был разрабо-
тан и впервые реализован в 1973 г. Алэном Колмероэ и другими членами
"группы искусственного интеллекта" (Франция) Марсельского университе-
та. Главной задачей группы было создание программы для перевода с есте-
ственного языка. С тех пор было сделано несколько расширений и усовер-
шенствований языка, здесь можно отметить работу группы из Эдинбург-
ского университета (Шотландия). Шотландский вариант получил название
C&M Prolog в честь авторов классической работы "Программирование на
Прологе" Уильяма Клоксина и Кристоффера Меллиша. Хотя официального
стандарта Пролога не существует, в этой книге приведен тот его вариант,
который считается неофициальным стандартом.
      Турбо-Пролог имеет несколько отличий. В нем отсутствуют некоторые
элементы C&M, но такие, которые встречаются только в очень сложных про-
граммах. Самым существенным отличием от упомянутого стандарта (как и
от других версий языка) является наличие в Турбо-Прологе строгой типиза-
ции элементов данных. Сделанные отступления от неофициального стандар-
та позволили значительно увеличить скорость трансляции и счета про-
грамм. И хотя некоторые программисты возражают против этих отступле-
ний, говоря что Турбо-Пролог не есть Пролог "в чистом виде", однако имен-
но в таком виде язык имеет массу преимуществ, например наличие графики
и возможность работы с окнами. Этих средств нет в других реализациях. Не-
зависимо от того, является ли Турбо-Пролог "чистым" Прологом или нет, он
тем не менее является очень современным, полноценным и гибким языком
программирования.

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


                                                                        5