Prologの技芸 8.2節の練習問題

(1)

% triangle(N,T) :-
%  TはN番目の三角数である．
triangle(N,T) :-
 N>0, N1 is N-1, triangle(N1,T1), T is T1+N.
triangle(0,0).

(2)

% power(X,N,V) :-
%  VはXのN乗である．
power(X,N,V) :-
 N>0, N1 is N-1, power(X,N1,V1), V is V1*X.
power(_,0,1).