Основные предложения языка Пролог. Основные направления

Основные направления И.: теоретическая И., кибернетика, пр-ия, ВТ, инф. системы, ИИ.

БЗ – БД, в которой можно накапливать информацию в памяти ЭВМ, искать нужную информацию и получать от машины логически осмысленные заключения и рекомендации. Для создания БЗ исп. языки лог. пр-ия, к числу которых относится Пролог.

Осн. предложения языка Пролог:

1. факты – сведения о ком-либо или о чем-либо, записанные на языке, который понимает ЭВМ.

<ключевое слово> (<объект1>,…, <объектN>. Мама (Наталья, Мария).

2. вопрос – синтаксически верное предложение Пролога, по форме напоминающее факт. Исп. для извлечения инф. из пролог - программы. В вопросах на месте неизв. Объекта ставится имя переменной, записанное с большой буквы.   Мама (Х, Мария).
3. правила – способ получения новых сведений на основе уже имеющихся.

<ключевое слово> (<пар1>,…, <парN>:-<условие>. 

Бабушка (Х,У):-мама (X,Z), мама (Z,Y).  

Структура программы

DOMAINS – определение типов данных, исп. в программе. Раздел может отсутствовать, но для читабельности нужен. S=symbol

PREDICATES – определение предикатов – функций от 1 или нескольких переменных, принимающих значение истина – ложь. Каждый предикат определяется именем и аргументами. Родитель (s,s).

CLAUSES – определение  фактов и правил – основной раздел программы, в котором определяются факты и правила. Родитель (Ольга, Петр). Родитель (Иван, Петр).   

GOAL – определение целей родитель (X, Петр).