anthem/examples/schur-numbers.lp

6 lines
109 B
Plaintext
Raw Normal View History

2017-06-12 02:27:57 +02:00
{in(1..n, 1..r)}.
covered(I) :- in(I, S).
:- I = 1..n, not covered(I).
:- in(I, S), in(J, S), in(I + J, S).