summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_r/max_sum_2/common.py
blob: d02509020506d81af58c0fd5c4b0f3f5f5c965f7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
# coding=utf-8

id = 156
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).'''