adding issue118

eyereasoner · Oct 5, 2024 · 141ffbb · 141ffbb
1 parent 02c69a2
commit 141ffbb
Show file tree

Hide file tree

Showing 2 changed files with 51 additions and 0 deletions.
diff --git a/reasoning/gsm/issue118.trig b/reasoning/gsm/issue118.trig
@@ -0,0 +1,48 @@
+# ---------
+# Issue 118
+# ---------
+#
+# See https://github.com/eyereasoner/eye/issues/118
+
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
+@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/d983461b-11b7-4e52-89c1-328e91bf1de1#>.
+@prefix : <#>.
+
+:s :value 1 .
+:s :copy skolem:bn_5.
+
+_:bng_1 log:implies _:bng_2.
+
+_:bng_1 {
+    var:s :value var:value.
+}
+
+_:bng_2 {
+    var:s a :Success.
+}
+
+_:bng_3 log:implies _:bng_4.
+
+_:bng_3 {
+    :s :copy var:o.
+}
+
+_:bng_4 {
+    _:bng_5 log:isImpliedBy _:bng_6.
+}
+
+_:bng_5 {
+    var:o :value var:value.
+}
+
+_:bng_6 {
+    :s :value var:value.
+}
+
+# query
+_:bng_7 log:query _:bng_7.
+
+_:bng_7 {
+    var:s a :Success.
+}
diff --git a/reasoning/gsm/output/issue118.trig b/reasoning/gsm/output/issue118.trig
@@ -0,0 +1,3 @@
+@prefix : <https://eyereasoner.github.io/eye/reasoning/gsm/issue118.trig#>.
+
+:s a :Success.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		@prefix : <https://eyereasoner.github.io/eye/reasoning/gsm/issue118.trig#>.

		:s a :Success.