• 3. Процедуры пролога. Главная процедура. Сопоставление. Понятие возврата при переборе. Условия возникновения возврата при переборе. Примеры. Обобщение

Основные процедуры, все процедуры являются встроенными (внутренними):

1. Главная процедура пролога - проверка на истинность запроса.

Результат может быть: ложь, истина, истина с конкретизацией (условная истина)

Это процедура, после которой выполнение программы заканчивается. Истину получили – программа будет выполняться дальше? nondeterm/determ – недетерминированный (решений много, ищет все решения)/ детерминированный (решение одно, остановка после первого найденного решения)

2. Сопоставление термов (терм - объект пролога)

Сопоставление:

• сопоставление констант (константы - атомы/числа): дает +, если константы тождественны (1v1= +, один v 1= -)

• сопоставление переменных:

• неконкретизированная переменная (все что угодно и ничего конкретного _) при сопоставлении с любым термом должна давать истинность, при этом наступает конкретизация этим термом

• конкретизированная переменная (именованная - в этом состоянии содержит 1 терм) при сопоставлении с термом дает результат, определяемый правилом сопоставления 2х термов (сопоставляемого и конкретизирующего)

т.е. результат будет зависеть не от переменной, а от содержания

• сопоставление структур (предикат - устанавливает соотношение между термами, состоит из имени(функтора) и аргументов):

1. сопоставляем имена структур по правилу сопоставления атомов

2. сопоставляем кол-во аргументов (арность структуры)

3. сопоставляем аргументы по правилу сопоставления соответствующих термов

• сопоставление списков (набор однотипных элементов, при делении на голову и хвост голова не может быть пустой - 1 и более элементов):

1. сопоставляем кол-во элементов списка, должно быть сопоставимо или равно

2. поэлементно сопоставляем каждый элемент списка по правилам сопоставления термов

Сопоставление списков со структурой: если дополнительно ничего не предпринять, то не пройдет, т.е нужно в аргументе предиката указать, что он может иметь несколько типов реализации (через ИЛИ)

	Атом	Число	Конкр. переменная	Неконкр. переменная	Структура	Список
Атом	?	-	?	+	-	-
Число	-	?	?	+	-	-
Конкр. переменная	?	?	?	+	?	?
Неконкр. переменная	+	+	+	+	+	+
Структура	-	-	?	+	?	-
Список	-	-	?	+	-	?

+ — всегда истина

- — всегда ложь

? — может быть истина или ложь (зависит от значений и структуры)

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

необходимое условие - наличие условий/целей с логическим И или.