summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_r/max_sum_2/common.py
blob: ef4ea7976939dad0d957a2de03d185c40abcaa18 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
id = 156
group = 'clp_r'
number = 66
visible = True
facts = None

solution = '''\
max_sum([_], S) :-
    minimize(S).
max_sum([A,B|T], S) :-
    { S >= A + B },
    max_sum([B|T], S).'''