somme de récursivité queue, puissance, gcd en prolog?

Question

Comment puis-je accomplir ceci:

Donner une définition récursive de la queue pour chacun des prédicats suivants.
power(X,Y,Z): XY = Z.
gcd(X,Y,Z): Le plus grand commun diviseur de X et Y est Z.
sum(L,Sum): Somme est la somme des éléments de L.

jusqu'à présent, je l'ai fait, mais pas sûr si cela est exact

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

Ils ne sont pas récursifs en queue. Vous pouvez écrire des variantes récursives en utilisant un accumulateur, voir this answer.

Votre somme est sur un arbre, ce qui est inhabituel, normalement on utiliserait une liste. En Prolog [] est la liste vide et [X | R] est le modèle pour une liste non vide avec la tête X et la queue R.