Языки логического программирования

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

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

Программы на языках логического программирования выражены как формулы математической логики, а компилятор пытается получить следствия из них. Родоначальником большинства языков логического программирования является язык ПРОЛОГ (Prolog, 1971). У него есть ряд потомков – Parlog (1983, ориентирован на параллельные вычисления), Delta Prolog и др.

ПРОЛОГ – это язык, предназначенный для поиска решений. Это декларативный язык, т.е. формальная постановка задачи может быть использована для ее решения. ПРОЛОГ определяет логические отношения в задаче как отличные от пошагового решения этой задачи.

Центральной частью ПРОЛОГа являются средства логического вывода, которые решают запросы, используя заданное множество фактов и правил, к которым обращаются как к утверждениям. ПРОЛОГ также не имеет деления переменных на типы и может динамически добавлять правила и факты к средствам вывода.

Для удобства восприятия приведем таблицу с характеристиками основных языков программирования (табл. 22.1).

Таблица 22.1. Характеристика основных языков программирования