хвостовая сумма рекурсии, мощность, gcd в прологе? - PullRequest
Новая
       37

хвостовая сумма рекурсии, мощность, gcd в прологе?

0 голосов
/ 12 октября 2009

как мне это сделать:

Дайте хвостово-рекурсивное определение для каждого из следующих предикатов.
power(X,Y,Z): XY = Z.
gcd(X,Y,Z): Наибольший общий делитель X и Y - Z.
sum(L,Sum): Sum - сумма элементов в L.

пока я сделал это, но не уверен, что это правильно 

power(_,0,1) :- !.
power(X,Y,Z) :- Y1 is Y - 1,power(X,Y1,Z1),Z is X * Z1.

sum(void,0).
sum(t(V,L,R),S) :- sum(L,S1),sum(R,S2),  S is V + S1 + S2.

1 Ответ

2 голосов
/ 12 октября 2009

Это не хвостовая рекурсия. Вы можете написать хвостовые рекурсивные варианты, используя аккумулятор, см. этот ответ .

Ваша сумма за деревом, что необычно, обычно можно использовать список. В Прологе [] - пустой список, а [X | R] - шаблон для непустого списка с головой X и хвостом R.

...