diff --git a/examples/schur-numbers.lp b/examples/schur-numbers.lp
new file mode 100644
index 0000000..eed2755
--- /dev/null
+++ b/examples/schur-numbers.lp
@@ -0,0 +1,5 @@
+{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).