refreshing

eyereasoner · Nov 9, 2024 · 39e1b5a · 39e1b5a
1 parent e343421
commit 39e1b5a
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 6 deletions.
diff --git a/color/n-queens/n-queens-proof.n3 b/color/n-queens/n-queens-proof.n3
@@ -1136,7 +1136,7 @@ skolem:lemma94 a r:Extraction;
             8 :queens var:x_0.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/n-queens/n-queens.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/n-queens/n-queens-query.n3>].
 
 skolem:lemma95 a r:Inference;
     r:gives {

diff --git a/color/n-queens/n-queens-query.n3 b/color/n-queens/n-queens-query.n3
@@ -0,0 +1,4 @@
+@prefix : <http://eexample.org/#>.
+
+# query
+{8 :queens ?Qs} => {8 :queens ?Qs}.
diff --git a/color/n-queens/n-queens.n3 b/color/n-queens/n-queens.n3
@@ -46,6 +46,3 @@
     (?N 1) math:sum ?N1.
     (?X ?N1) :attack3 ?Ys
 }.
-
-# query
-{8 :queens ?Qs} =^ {8 :queens ?Qs}.
diff --git a/color/n-queens/test b/color/n-queens/test
@@ -1,3 +1,3 @@
 #!/bin/bash
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/n-queens/n-queens.n3 --output n-queens-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/n-queens/n-queens.n3 --output n-queens-proof.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/n-queens/n-queens.n3 --query https://eyereasoner.github.io/eye/color/n-queens/n-queens-query.n3 --output n-queens-answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/n-queens/n-queens.n3 --query https://eyereasoner.github.io/eye/color/n-queens/n-queens-query.n3 --output n-queens-proof.n3