Prologの昇順検査

昇順検査([]).
昇順検査([_]).
昇順検査([A,B|R]) :- A @=< B,昇順検査([B|R]).