diff --git a/examples/prime.lp b/examples/prime.lp
new file mode 100644
index 0000000..2fa7e0a
--- /dev/null
+++ b/examples/prime.lp
@@ -0,0 +1,4 @@
+#show prime/1.
+
+composite(I * J) :- I = 2..n, J = 2..n.
+prime(N) :- N = 2..n, not composite(N).