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

Question

Как это сделать:

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

Answer 1

Это не хвост рекурсивный. Вы можете написать хвостовые рекурсивные варианты с помощью аккумулятора, см. this answer.

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