Ошибка: "Syntax error in clause body, predicate call expected"

@farta · Регистрация: 14.10.2015

Начал только изучать, выкидывает ошибку "Syntax error in clause body, predicate call expected". В чем проблема?

Prolog

DOMAINS
list = integer*
PREDICATES
perevod(integer,integer,list)
add(integer,list,list)
CLAUSES
add(E,[],[E]).
add(E,[H|T],[H|T]):-
add(E,T,T).
 
perevod(1,_,[1]).
perevod(0,_,[0]).
 
perevod(X,Y,[H|T]):-
C = X/Y,
D = X mod Y,
perevod(D,Y,List),
add(C,List,[H|T]).
 
GOAL
write("Vedite chislo: "),readint(X),nl,
write("Vedite osnovanie sistemi scchislenia: "),readint(Y),nl,
perevod(X,Y,[H|T]),nl,
write("Answer is : "), [H|T].

@Black Fregat · 08.10.2016, 23:23

Скорее всего из-за того, что не тот Пролог.
Это код для Turbo Prolog или Visual Prolog 5.2

@farta · 09.10.2016, 00:02 **[ТС]**

Black Fregat, да это visual prolog, я на нем и компилю

@Black Fregat · 09.10.2016, 00:19

Что-то странное у Вас в конце написано.. 1) Скобка не на месте. 2) Зачем там список в виде [H|T]?
Напишите так:

Prolog

1 2	perevod(X,Y,L),nl, write("Answer is : ", L).

@farta · 09.10.2016, 00:27 **[ТС]**

Black Fregat, заработало, трудноват в освоении язык, большое спасибо!

@Black Fregat · 09.10.2016, 00:27

Дополнительные замечания.
1) У Вас C и D перепутаны местами: результат деления нужно переводиить дальше, а остаток добавлять к списку
2) Целое деление не так пишется, по аналогии с mod: X div Y
3) Ваш вариант всегда будет выдавать 0 в начале числа

@farta · 09.10.2016, 00:38 **[ТС]**

Black Fregat, как раз искал ошибку, спасибо! Также исправил данный фрагмент

Prolog

1 2	perevod(1,_,[1]):- !. perevod(0,_,[0]):- !.

Если же просто оставить так:

Prolog

1 2	perevod(1,_,[1]). perevod(0,_,[0]).

То программа зацикливается, правильно ли я понимаю, что "!" является признаком конца рекурсии?

@Black Fregat · 09.10.2016, 05:47

Сообщение от farta

правильно ли я понимаю, что "!" является признаком конца рекурсии?

Не совсем. Отсечение (восклицательный знак) даёт команду отменить все существующие развилки.
То есть в нашем случае при срабатывании одного из этих двух правил пролог-машина не станет проверять остальные.
Иначе ничто не мешает выполнить и третье.

Если бы в рекурсивном правиле стоял явный запрет, отсечение бы не понадобилось, а выход из рекурсии всё равно произошёл бы. Например, так:

Prolog

perevod(1,_,[1]).
perevod(0,_,[0]).
perevod(X,Y,[H|T]) :-
  X > 1, % Это сравнение запретит лишний вход в рекурсию
  ...

Нечто подобное неявным образом происходит при работе со списками:

Prolog

p([], ...).      % Пустой список явно обрабатывается первым правилом
p([H|T], ...) :- % Второе правило сработает только для НЕПУСТОГО списка,
                 % ведь пустой список не подходит под шаблон [_|_]  
                 % у пустого списка нет головы и хвоста

@farta · 09.10.2016, 11:06 **[ТС]**

Black Fregat,
То есть при таком варианте в хвост списка просто заносится какое то значение, но при этом правило продолжает проверяться?

Prolog

1 2	perevod(1,_,[1]). perevod(0,_,[0]).

@Black Fregat · 09.10.2016, 15:15

Нет, на одной итерации это не сказывается. Но образуется развилка, и при первом же откате будет бесконечная рекурсия.

@farta · 09.10.2016, 22:08 **[ТС]**

Black Fregat, спасибо, буду разбираться дальше!

@Black Fregat Фрилансер 3680 / 2051 / 565 Регистрация: 31.05.2009 Сообщений: 6,684
	08.10.2016, 23:23	2
	Скорее всего из-за того, что не тот Пролог. Это код для Turbo Prolog или Visual Prolog 5.2 0

@farta 0 / 0 / 0 Регистрация: 14.10.2015 Сообщений: 51
	09.10.2016, 00:02 [ТС]	3
	Black Fregat, да это visual prolog, я на нем и компилю 0

@farta 0 / 0 / 0 Регистрация: 14.10.2015 Сообщений: 51
	09.10.2016, 00:27 [ТС]	5
	Black Fregat, заработало, трудноват в освоении язык, большое спасибо! 0

@Black Fregat Фрилансер 3680 / 2051 / 565 Регистрация: 31.05.2009 Сообщений: 6,684
	09.10.2016, 00:27	6
	Дополнительные замечания. 1) У Вас C и D перепутаны местами: результат деления нужно переводиить дальше, а остаток добавлять к списку 2) Целое деление не так пишется, по аналогии с mod: X div Y 3) Ваш вариант всегда будет выдавать 0 в начале числа 0

@Black Fregat Фрилансер 3680 / 2051 / 565 Регистрация: 31.05.2009 Сообщений: 6,684
	09.10.2016, 15:15	10
	Нет, на одной итерации это не сказывается. Но образуется развилка, и при первом же откате будет бесконечная рекурсия. 0

@farta 0 / 0 / 0 Регистрация: 14.10.2015 Сообщений: 51
	09.10.2016, 22:08 [ТС]	11
	Black Fregat, спасибо, буду разбираться дальше! 0

Опции темы

Ошибка: "Syntax error in clause body, predicate call expected"

Решение