Функция питания в прологе

Question

Что не так с моей функцией питания?

pow(_,0,1). 
pow(X,Y,Z) :- 
    pow(X,Y-1,X*Z). 

?- pow(2,3,Z). 
ERROR: Out of global stack 

Answer 1

Ваш Y не получает декремент, вы не можете использовать предикаты, подобные функциям. Вы также должны объединить Z с результатом умножения.

pow(_,0,1). 

pow(X,Y,Z) :- Y1 is Y - 1, 
       pow(X,Y1,Z1), Z is Z1*X. 

Существует также встроенная функция питания, которая будет намного быстрее:

pow2(X,Y,Z) :- Z is X**Y. 

отметить также, что пау не последний вызов и не могут быть оптимизированы для использования только один кадр стека. Вы должны переформулировать его:

pow3(X,Y,Z) :- powend(X,Y,1,Z),!. 

powend(_,0,A,Z) :- Z is A. 
powend(X,Y,A,Z) :- Y1 is Y - 1, A1 is A*X, powend(X,Y1,A1,Z). 

Answer 2

DOMAINS 
num=INTEGER 

PREDICATES 
nondeterm power(num,num,num) 

CLAUSES 
power(X,0,1). 
power(X,P,F):-X>0,P1=P-1,power(X,P1,F1),F=X*F1. 

GOAL 
power(2,5,X). 

Answer 3

Predicates 
fac(Integer,Integer,Integer). 
Clauses 
fac(X,N,X):- N=1,!. 
fac(X,N,M):- N1=N-1,fac(X,N1,M1), M= X*M1. 
Goal 
fac(5,3,X).