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

% 1.
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]).