blob: 8feb5494ec50c1cec28069b59e489a8fa5ee615a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# coding=utf-8
id = 121
number = 28
visible = True
facts = None
solution = '''\
is_sorted([]).
is_sorted([_]).
is_sorted([H1,H2|T]) :-
H1 =< H2,
is_sorted([H2|T]).
'''
|