From a01e78a467b3c3c7dca3ed4ab721ceef91fb7c04 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 11 Apr 2018 21:42:08 +0200 Subject: [PATCH] Add example program for prime number detection --- examples/prime.lp | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 examples/prime.lp 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).