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

id = 156
number = 66
visible = False
facts = None

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