# coding=utf-8

id = 121
group = 'sorting'
number = 28
visible = True
facts = None

solution = '''\
is_sorted([]).
is_sorted([_]).
is_sorted([H1,H2|T]) :-
  H1 =< H2,
  is_sorted([H2|T]).
'''