using log:explains and creating owe directory (output with explanation)

eyereasoner · Sep 2, 2024 · 673b80a · 673b80a
1 parent ef6f933
commit 673b80a
Show file tree

Hide file tree

Showing 41 changed files with 236,998 additions and 21 deletions.
diff --git a/README.md b/README.md
@@ -10,8 +10,8 @@ See [examples and cases](https://github.com/eyereasoner/lingua/tree/main/cases)
 Usage: lingua <options>* <data>*
 
 <options>
-    --genid <genid>             use <genid> in Skolem IRIs
     --explain                   explain the reasoning steps
+    --genid <genid>             use <genid> in Skolem IRIs
     --help, -h                  show help info
     --output <file>             write reasoner output to <file>
     --version, -v               show version info

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.4.2
+1.4.4
diff --git a/cases/ackermann.trig b/cases/ackermann.trig
@@ -117,5 +117,5 @@ GRAPH _:bng_14 {
     (3 14) :ackermann var:A7.
     (4 0) :ackermann var:A8.
     (4 1) :ackermann var:A9.
-    (4 2) :ackermann var:A10.
+    #(4 2) :ackermann var:A10.
 }
diff --git a/cases/edt.trig b/cases/edt.trig
@@ -41,5 +41,5 @@ GRAPH _:bng_3 {
 _:bng_4 log:query _:bng_4.
 
 GRAPH _:bng_4 {
-    edt:i100000 a edt:N100000.
+    edt:i100000 a edt:N5000.
 }
diff --git a/cases/output/ackermann.trig b/cases/output/ackermann.trig
diff --git a/cases/output/edt.trig b/cases/output/edt.trig
@@ -1,3 +1,3 @@
 PREFIX edt: <http://eulersharp.sourceforge.net/2009/12dtb/test#>
 
-edt:i100000 a edt:N100000.
+edt:i100000 a edt:N5000.
diff --git a/cases/output/pi.trig b/cases/output/pi.trig
@@ -1,3 +1,3 @@
 PREFIX : <https://eyereasoner.github.io/lingua/cases/pi.trig#>
 
-(50000 3.141592653589793) :pi true.
+(5000 3.1415926535917924) :pi true.