7.2. АЛГОРИТМ ВЫПОЛНЕНИЯ ПРОГРАММ НА ПРОЛОГЕ
Факты и правила программы на Прологе являются описанием отношений и связей между объектами некоторой предметной области, т.е. записью условия некой логической задачи, которую предстоит решить. Описанные отношения и связи рассматриваются статически. Такой подход к программе называется декларативным. Порядок следования фактов, правил и подцелей в правилах не влияет на декларативный смысл программы. Вместе с тем, программу можно рассматривать с точки зрения последовательности сопоставлений, конкретизации переменных и резолютивных выводов, происходящих при ее выполнении. Такой подход называется процедурным. Процедурный смысл программы обязательно должен учитываться при программировании на Прологе. Так, факт можно рассматривать как полностью определенную процедуру, для выполнения которой больше ничего не нужно. Правило А:-В1,В2. Вn. можно рассматривать как определение процедуры А, утверждающее, что для ее выполнения надо определить Bl, B2, . , Вn. Процедуры Bl, B2, . , Вn должны выполняться в определенном порядке — слева направо. Если выполнение очередной процедуры завершается успешно, то происходит переход к следующей процедуре. Если же по какой-либо причине очередная процедура выполняется неуспешно, то происходит переход к следующему варианту описания этой процедуры, и порядок поиска такого варианта в Прологе задан — сверху вниз. Поиск подходящих для согласования фактов и правил в базе знаний происходит последовательно сверху-вниз, и если подходящих фактов не найдено — ответ отрицательный. Эта стратегия согласования называется «сверху-вниз» и «замкнутый мир». Рассмотрим процесс выполнения программы более подробно на примере. Программа 112 а : — b, с, d. b : — е, f. с. d. е. f. ? — а.
Выполнение программы начинается с применения метода резолюций к целевому и одному из предложений программы для получения их резольвенты. Подходящее предложение программы подбирается перебором сверху-вниз так, чтобы сопоставление его заголовка с целевым предложением было успешным. В результате резолюции получается новое целевое предложение и метод резолюции применяется к нему и к другому предложению программы. Процесс продолжается до тех пор, пока не будут согласованы с фактами все возникшие при резолюции подцели, табл. 3.6. Таблица 3.6 К процессу выполнения программы на Прологе
| Номер шага | Целевое | Исходное | Резольвента | |
| резолюции | предложение | предложение | ||
| 1 | ?-а. | a:-b,c,d. | ?-b,c,d. | |
| 2 | ?-b,c,d. | b:-c,f. | ?-e,f,c,d. | |
| 3 | ?-е,f,с,d | e. | ?-f,c,d. | |
| 4 | ?-f,c,d. | f. | ?-c.d. | |
| 5 | ?-c,d. | c. | ?-d. | |
| 6 | ?-d. | d. | Пустая | |
При выполнении логического вывода, если необходимо, происходит конкретизация переменных. Рассмотрим пример. Программа 113 любит(юрий,музыку). любит(сергей,спорт). любит(А,книги):-читатель(А),любопытный(А). любит(сергей,книги). любит(сергей,кино). читатель(юрий). любопытный(юрий). ?- любит(X,музыку), любит(X,книги). Двойной запрос в этой программе может быть представлен целевым деревом: Вначале, просматривая программу сверху вниз. Пролог находит первое предложение, соответствующее первой подцели запроса: Переменная Х конкретизируется значением «юрий». Начинается согласование 2-й подцели запроса с условием Х=юрий. 1-е и 2-е предложения программы не соответствуют подцели. В 3-ем предложении: любит(А,книги):-читатель(А), любопытный(А).
аргумент А заголовка есть переменная, поэтому она может соответствовать X, т.е. получает значение А=юрин; вторые аргументы совпадают. Теперь тело правила образует новое множество целей для согласования. Получаем целевое дерево: Затем Пролог будет искать факты, соответствующие новым подцелям. Последнее результирующее дерево: Рассмотрим еще один пример. Программа 114 любит(оля,чтение). любит(света,бадминтон). любит(для,бадминтон). любит(лена,плавание). любит(лена,чтение). ?- любит(X,чтение), любит(X,плавание). Запрос означает: есть ли люди, которым нравится и чтение, и плавание? Сначала Пролог ищет факт, сопоставимый с первой частью вопроса: любит(Х, чтение). Подходит первый же факт программы любит(оля,чтение). и переменная Х связывается значением «оля». В то же время Пролог фиксирует в списке фактов указатель, показывающий состояние процедуры поиска. Далее Пролог пытается согласовать вторую часть запроса при условии Х = оля, т.е. ищет с самого начала программы факт «любит(оля, плавание)». Такого факта в программе нет, и поиск заканчивается неуспешно. Тогда Пролог возвращается к первои части запроса: любнт(Х,чтение) , «развязывает» переменную Х и продолжает поиск подходящих фактов, начиная с ранее установленного в списке фактов указателя Подходит факт «любит(лена,чтение)», переменная Х конкретизируется значением «лена», и далее вторая часть вопроса успешно согласуется с фактом «любит(лена, плавание)». Пролог выполнил в данном примере поиск с возвратом.
Графически процесс выполнения программы представляется в виде обхода бинарного дерева — дерева вывода, типа изображенного на рис.3.16. Вершины дерева обозначают вопросы, а ребра показывают возможные пути вывода, причем для каждого ребра характерны свои правила и унифицирующая подстановка значений переменных. Рис.3.16. Дерево вывода программы на Прологе Обход дерева начинается с движения от вершины (запроса) по самой левой ветви вниз до конца (abed), при этом запоминаются все точки ветвления (точки возврата). При достижении конца ветви решение будет либо найдено, либо нет. В обоих случаях Пролог продолжает дальнейший поиск решений. Выполняется возврат в последнюю точку ветвления с. При этом конкретные значения, присвоенные переменным при движении вниз на сегменте c-d. отменяются, и движение вниз продолжается по расположенной справа ветви с-е до конца дерева вниз. Затем произойдет возврат в предыдущую точку ветвления b и движение продолжится по ветви bfg, и так до тех пор, пока все дерево вывода не будет пройдено.
7.3. РЕКУРСИЯ
Существует целый класс задач, в которых отношения между объектами можно определить, только пользуясь самими определяемыми соотношениями. Получающиеся при этом правила называются рекурсивными. Пример: рекурсивное определение натурального числа: 1) 1- натуральное число; 2) число, на 1 большее натурального числа, также натуральное. В системах логического программирования рекурсия служит также для описания циклов, повторений и является важнейшим методом программирования. Рассмотрим простой пример: вычисление факториала натурального числа n (n!) . Определение n! рекурсивно: 1)1!=1, 2)n!=(n-l)!*n. Для описания отношения «факториал» между n и n! будем использовать двухарный предикат факт(N,М). Тогда база знаний, соединенная с запросом, приобретает вид (программа 115); Программа 115 факт(1,1). факт(N,Х): — факт( N-1 ,V), Х is Y*N. ?- факт(3,А); В данной программе правило «факт» вызывает само себя — это и есть рекурсия. Запись is Y*N представляет собой обращение к встроенному предикату «is» («есть») для описания арифметического действия. Процесс работы программы можно изобразить следующим образом: ?факт(3,A0). ОТВЕТ: А=6 ?факт(1,A2).
Х1= 2*3 = 6 факт(1,1) Х2=1*2=2 Здесь стрелочка вниз означает сопоставление и резолюцию, а стрелочка вверх — возврат и завершение отложенного вычисления. Правило «факт» вызывает само себя — происходит углубление рекурсии (прямой ход). При этом в памяти ЭВМ выделяется место для переменных А,АО,А1,А2 и N,NO,N1,N2, образующих стеки. При согласовании вопроса с предикатом факт(1,1) рекурсия прекращается и начинается возврат из рекурсии (обратный ход) — выполнение отложенных на прямом ходе согласований. Предикат факт(1,1) играет очень важную роль — это ограничитель рекурсии, условие ее завершения. Отметим, что Пролог стремится найти все решения поставленной задачи, а значит, после появления ответа А=6 происходит возврат к вопросу ?факт(1,А2) и попытке согласовать его с правилом «факт». Это приводит к бесконечному процессу рекурсии с отрицательными аргументами в «факт», которая завершается при исчерпании глубины зарезервированных интерпретатором Пролога стеков. Ускорить выход из рекурсии можно, добавив к предикату «факт(1,1)» отсечение !: факт(1,1):-!. Однако, использование отсечения требует более подробного рассмотрения. В общем случае последовательность предложений в базе знаний не имеет значения. Однако это не так для рекурсивно-определенных отношений. Например: родитель(Х):- родитель(Y),отец(Y,Z). родитель(коля). отец(коля,петя). родитель(петя). В этом случае в первом предложении голова имеет ту же функцию, что и одна из целей — «родитель». В процессе поиска ответа в этой базе знаний будет применено правило: предложение, стоящее первым, будет применено первым — известное как принцип поиска в глубину . Это приведет к тому, что система будет обращаться только к первому предложению базы знаний и ответ на вопрос не будет найден никогда (образуется бесконечная петля вывода). Однако небольшое изменение базы знаний — перестановка двух предложений местами — приведет к удачному поиску решения. Программа 116 родитель(коля). родитель(X):- родитель(Y), отец(Y,Х). отец(коля,петя). ? — родитель(петя). Неограннчено-повторное обращение к предложению может быть и более замаскированным так, как это получается в программе 117. Программа 117 выше(А,В): — ниже(В,А). ниже(В,А): — выше(А, В). выше(коля,петя). ?- ниже(петя,коля). Однако если третье предложение стоит на первом месте, то повторного обращения не произойдет и ответ будет найден. В общем виде рекурсия на Прологе выглядит так:
Источник
Вывод бинарного дерева (перевести на SWI Prolog)
Напишите, пожалуйста, как код, приведенный ниже, будет выглядеть в диалекте SWI prolog. Это обычный вывод бинарного дерева.
1 2 3 4 5 6 7 8 9 10 11 12 13 14
domains treetype=tree (integer, treetype, treetype); nil () print_tree (treetype) clauses print_tree (nil):- !. print_tree (tree(Root, Left, Right)):- write(Root), nl, print_tree (Left), print_tree (Right). GOAL print_tree (tree (4, tree (2, tree (1, nil, nil), tree (3, nil, nil)), tree (5, nil, nil))).
Перевести программу на SWI Prolog
добрый вечер, помогите перевести программу на SWI — Prolog domains IntList = Integer*.
Как перевести программу с Паскаля в SWI Prolog?
Подскажите, как можно переписать программу с Паскаля на SWI Prolog?
Вычисления глубины бинарного дерева в Turbo Prolog
Написать программу для вычисления глубины бинарного дерева (глубина пустого дерева равна 0, глубина.
Вычисление глубины бинарного дерева на Arity Prolog
Пожалуйста помогите дописать буквально пару строчек в коде. вот код: max(R1,R2,Max):- R1>=R2.
Сообщение было отмечено Елизавета21 как решение
Решение
print_tree(nil):- !. print_tree(tree(Root, Left, Right)):- write(Root), nl, print_tree(Left), print_tree(Right). :- print_tree(tree(4, tree(2, tree(1, nil, nil), tree(3, nil, nil)), tree(5, nil, nil))).
Источник