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

Prolog основывается на языке исчисления предикатов 1-го порядка и мето-

дике автоматич. док-ва теорем (метод резолюции с огранич. для уменьш. простр-ва поиска). Применение: 1)общение с ЭВМ на ест. языке;    2)интерфейс реляционных БД;  3)создание систем автоматич. программ-я;

4)представление и обработка знаний в задачах искусств. интеллекта;

5)экспертные системы; 6)символические вычисления; 7)решение задач матю

логики; 8)написание компиляторов.

Достоинства: 1)сочетание деклоративного и процедурного подхода; 2)легко

читаемые тексты программ; 3)высокая степень модульности; 4)эффективн.

реализации и доступность транслятора на всех типах ЭВМ.

Программа описывает знания о некоторой предметной области: факты

(св-ва объектов и отношения между ними) и правила(с их помощью могут быть получены новые знания об объекте и отношениях м/у ними). Факт состоит их имени отношения и списка объектов. Выполне-е инициал. запро-

сом. Интерпретатор пытается найти решения запроса, согласуясь с БД об объектах в задаче(Yes/No).

В Prolog используя конъюнкцию целей, можно строить сложные запросы,

при этом все цели перечисляются через запятую.