Рекурсия в прологе

@the_maksimka · Регистрация: 29.07.2012

Author24 — интернет-сервис помощи студентам

Добрый день,имеется код:

Prolog

PREDICATES 
  nondeterm родитель(symbol,symbol) 
  nondeterm предок(symbol,symbol) 
CLAUSES 
 родитель(пам,боб). 
 родитель(том,боб). 
 родитель(том,лиз). 
 родитель(боб,энн). 
 родитель(боб,пат). 
 родитель(пат,джим). 
 предок(X,Z):- родитель(X,Z). 
 предок(X,Z):- родитель(X,Y), предок(Y,Z). 
 
GOAL 
 предок(том,пат).

в выводе соответственно yes. при изменении цели на

Prolog

1	предок(том,пата).

соответственно no...но стоит изменить последнюю строку на

Prolog

1	предок(X,Z):- предок(Y,Z),родитель(X,Y).

с первой целью всё нормально-со второй ошибка...не знаю почему...
и ещё вопрос,как в прологе работает рекурсия в двух последних строках правил?

@Грымзик · 30.10.2012, 21:31

По поводу предок(X,Z):- предок(Y,Z),родитель(X,Y).
Для предок(том,пат) нормально завершается, всего два раза вызывается предикат предок. Остановка происходит потому что происходит срабатывание первого правила. А при вызове предок(том,пата) первое правило не сработает никогда, т.к у пата вообще родителей нет. И получится бесконечный вызов предиката "предок" самим собой. В первом варианте все нормально работает, потому что родитель(X,Y) не выполнится и никакой зациклиности возникать не будет.

@the_maksimka · 30.10.2012, 21:52 **[ТС]**

Сообщение от Грымзик

По поводу предок(X,Z):- предок(Y,Z),родитель(X,Y).
Для предок(том,пат) нормально завершается, всего два раза вызывается предикат предок. Остановка происходит потому что происходит срабатывание первого правила. А при вызове предок(том,пата) первое правило не сработает никогда, т.к у пата вообще родителей нет. И получится бесконечный вызов предиката "предок" самим собой. В первом варианте все нормально работает, потому что родитель(X,Y) не выполнится и никакой зациклиности возникать не будет.

Вот смотрите немного модифицированный код:

Prolog

PREDICATES 
  nondeterm родитель(symbol,symbol) 
  nondeterm предок(symbol,symbol) 
CLAUSES 
 родитель(пам,боб). 
 родитель(том,боб). 
 родитель(том,лиз). 
 родитель(боб,энн). 
 родитель(боб,пат). 
 родитель(пат,джим). 
 предок(X,Z):-родитель(X,Z). 
 предок(X,Z):-предок(Y,Z),родитель(X,Y). 
 
GOAL 
 предок(X,Z).

я проанализировал ответы,и впринципе всё правильно,но в конце всё равно ошибка,где по идее программа должна закончиться...если ошибка из-за зацикленности-не подскажите где она начинается?

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	30.10.2012, 21:31	2
	По поводу предок(X,Z):- предок(Y,Z),родитель(X,Y). Для предок(том,пат) нормально завершается, всего два раза вызывается предикат предок. Остановка происходит потому что происходит срабатывание первого правила. А при вызове предок(том,пата) первое правило не сработает никогда, т.к у пата вообще родителей нет. И получится бесконечный вызов предиката "предок" самим собой. В первом варианте все нормально работает, потому что родитель(X,Y) не выполнится и никакой зациклиности возникать не будет. 1

	30.10.2012, 21:52