From 1a31749f215ac39a6704d573086b8b4883a20cd5 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Wed, 31 Jul 2024 14:35:27 +0200
Subject: [PATCH] adding good cobbler example

---
 test/pure/cobbler.n3s | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 test/pure/cobbler.n3s

diff --git a/test/pure/cobbler.n3s b/test/pure/cobbler.n3s
new file mode 100644
index 0000000..c3ea849
--- /dev/null
+++ b/test/pure/cobbler.n3s
@@ -0,0 +1,17 @@
+# Good Cobbler
+# Example from https://shs.hal.science/halshs-04148373/document
+# Using functional logic http://intrologic.stanford.edu/chapters/chapter_11.html
+
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix : <urn:example:>.
+
+# Some x is a good cobbler
+_:x a (:good :Cobbler).
+
+# is there someone x which is good at some y
+(_:x _:y) log:onNegativeSurface {
+    _:x a (:good _:y).
+    () log:onNegativeAnswerSurface {
+        :test :is true.
+    }.
+}.