blob: 2feb134b20cd9bbe639bde83dfecf6fb3217bcb7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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]).
'''
|