%%   知識情報処理実習 r11の練習問題 解答例

% 基本プログラムコース
p5(a,1).
p5(t(_,L,R),K) :- p5(L,K1), p5(R,K2), K is K1+K2.
p5(t(_,T),K) :- p5(T,K).

test11(K) :- p5( t(a,t(a,a,a),t(a,a)), K ).


% 応用プログラムコース
increase([]).
increase([_]).
increase([X,Y|Z]) :- X =< Y, increase([Y|Z]).

test11_1_1 :- increase([1,3,6]).
test11_1_2 :- increase([1,6,3]).