Шаг 1.
Основы логического программирования.
Краткая характеристика языка программирования Пролог

    На этом шаге мы рассмотрим краткую характеристику языка программирования Пролог.

    В начале 70-х годов группа специалистов Марсельского университета во главе с А.Колмероэ разработала специализированную систему для доказательства теорем. Она была написана на языке Фортран и использовалась для обработки естественного языка. Система доказательства теорем, названная Пролог, воплощала процедурную семантику Р.Ковальского. Позже Ван Энден и Р.Ковальский разработали формальную семантику для языка логических программ.

    Сегодня Пролог - язык, предназначенный для создания приложений, использующих средства и методы искусственного интеллекта и создания экспертных систем.

    Пролог применяется при создании приложений в следующих областях:

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

    Формальная точность и возможность интерпретации Пролога делают его чрезвычайно подходящим языком для представления знаний.

    В области экспертных систем Пролог применяется для моделирования экспертизы в различных предметных областях. Коммерческие системы, написанные на Прологе, ориентированы на такие приложения, как медицина, законодательство, автоматизация производства.

    На Прологе удобно описывать различные структуры данных, такие как списки и деревья.

    В наших шагах рассматриваются структура и методы Пролога, необходимые для разработки программ. Излагаются вопросы, связанные с использованием списков, файлов, графики, обработки строковой информации.

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

    Свое название Пролог получил от слов "ПРОграммирование на языке ЛОГики". На самом деле Пролог не является чистым языком логического программирования, но его создание - важный этап в этом направлении.

    При программировании на Прологе значительно упрощается описание решения, и программист имеет возможность заниматься непосредственно задачей, а не поиском способа разбиения ее решения на небольшие шаги, которые можно запрограммировать.

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

    Со следующего шага мы начнем рассматривать некоторые теоретические положения, лежащие в основе Пролога.




Содержание Следующий шаг