Логическое программирование

Первым языком логического программирования был Planner, разработан Карлом Хьюитом в Лаборатории искусственного интеллекта Массачусетского технологического института в 1969 г. В этом языке была заложена возможность автоматического вывода результата из данных и заданных правил путем перебора вариантов (совокупность которых называлась планом). Но самым известным языком логического программирования является Prolog, который был создан во Франции Аланом Кольмероэ в 1971 г.

Программа на языке Prolog содержит две составные части: факты и правила. Факты представляю собой данные, с которыми оперирует программа, а совокупность фактов составляет базу данных Prolog. Основная операция, выполняемая над данными, - это операция сопоставления.Правила состоят из заголовка и подцелей. Выполнение программы, написанной на Prolog, начинается с запроса и состоит в доказательстве истинности некоторого логического утверждения в рамках заданной совокупности фактов и правил. Алгоритм этого доказательства (алгоритм логического вывода) определяет принципы исполнения программы, написанной на Prolog.

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

Возможности языка используются в символической математике, планировании, автоматизированном проектировании, построении компиляторов, базах данных, обработке текстов на естественных языках, экспертных системах.

На сегодняшний день существует целый класс логических языков. От языка Planner также произошли логические языки программирования QA-4, Popler, Conniver и QLISP. Языки программированияMercury, VisualProlog, Ozи, Fril произошли уже от языка Prolog.