>>415 Prologの昇順検査

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