Язык программирования Пролог
При использовании ЭВМ для решения задач можно выделить два взаимосвязанных способа представления знания:
1) процедурное представление, т. е. определение алгоритма обра- ботки данных;
2) декларативное представление, т. е. определение отдельных понятий, их состояния в конкретные моменты времени и связей между ними. Традиционные алгоритмические языки (Паскаль, Си, Фортран) являются процедурными, поскольку их цель – описание алгоритма. Но они содержат и декларативные компоненты (описание переменных).
В языке ПРОЛОГ (ПРОграммирование ЛОГическое), напротив, основной является декларативная компонента, так что он предназначен не столько для обработки данных, как для обработки фактов и декларативных правил. Факты представляют собой логические формулы. База знание (БЗ) задается совокупностью таких формул. Логические методы обеспечивают получение новых фактов из фактов, представленных в БЗ. В процедурных языках программист должен описать для компьютера процесс решения задачи шаг за шагом. В противоположность этому в декларативном языке ПРОЛОГ программист описывает саму проблему и основные правила ее решения, оставляя за системой поиск конкретных действий, приводящих к решению. Поэтому ПРОЛОГ справедливо считается языком более высокого уровня, чем Си или Паскаль. Внешним выражением этого факта является то, что текст программы на ПРОЛОГе может быть в десять раз короче текста программы на Паскале, решающей ту же задачу (хотя, конечно, есть проблемы, неудобные для ПРОЛОГа, но легко описываемые на Паскале или другом процедурном языке). ПРОЛОГ может использоваться при разработке экспертных систем, а также для следующих задач:
– доказательства теорем и вывода решений в задачах;
– создания пакетов символьной обработки при решении уравнений, дифференцировании, интегрировании и т. д.;
– разработки упрощенных версий систем ИИ;
– создания естественно-языковых интерфейсов для существующих программ;
– перевода текстов с одного языка на другой, в том числе – с одного языка программирования на другой.
ПРОЛОГ появился в 1973 г., когда группа исследователей из Марсельского университета под руководством Алана Колмероэ, создала программу для доказательства теорем, которая была реализована на языке Фортран. Впоследствии этот продукт получил название ПРОЛОГ. Первые годы ПРОЛОГ не находил широкого практического применения. Однако в 1981 г. было объявлено о японском проекте создания ЭВМ пятого поколения, в основе программного обеспечения которых предполагалось использовать логическое программирование. Этот проект создания ЭВМ для обработки знаний вызвал большой резонанс во всем мире. Появились коммерческие реализации ПРОЛОГа, такие как CProlog, Quintus Prolog, Silogic Knowledge Workbench, Тurbo Prolog и др. Наибольшую популярность получила система про- граммирования Turbo Prolog – один из продуктов известной фирмы Borland.
Скачано: 896
● Размер : 247 Кб
