trying far.n3

eyereasoner · Sep 28, 2023 · b79ab93 · b79ab93
1 parent dc72014
commit b79ab93
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/reasoning/beetle/raf.n3 → reasoning/beetle/far.n3 b/reasoning/beetle/raf.n3 → reasoning/beetle/far.n3
@@ -1,9 +1,16 @@
 #-------------------------
-# Resolution and factoring
+# Factoring and resolution
 # ------------------------
 
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
+# factoring
+{
+    ?P => {?C log:or ?C}.
+} => {
+    ?P => ?C.
+}.
+
 # resolution
 {
     ?P => {?C log:or ?D}.
@@ -18,10 +25,3 @@
 } => {
     ?P => {?C log:or ?E}.
 }.
-
-# factoring
-{
-    ?P => {?C log:or ?C}.
-} => {
-    ?P => ?C.
-}.
diff --git a/reasoning/beetle/test b/reasoning/beetle/test
@@ -1,2 +1,2 @@
 #!/bin/bash -x
-eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --nope http://eyereasoner.github.io/eye/reasoning/beetle/beetle.n3 http://eyereasoner.github.io/eye/reasoning/beetle/raf.n3 --query http://eyereasoner.github.io/eye/reasoning/beetle/beetle-query.n3 --output beetle-answer.n3
+eye "$@" --wcache http://eyereasoner.github.io/eye/reasoning .. --nope http://eyereasoner.github.io/eye/reasoning/beetle/beetle.n3 http://eyereasoner.github.io/eye/reasoning/beetle/far.n3 --query http://eyereasoner.github.io/eye/reasoning/beetle/beetle-query.n3 --output beetle-answer.n3