renaming recent work to rdfreasoning

eyereasoner · Nov 20, 2023 · 079cf9a · 079cf9a
1 parent 322eaca
commit 079cf9a
Show file tree

Hide file tree

Showing 69 changed files with 36 additions and 33 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v8.6.14 (2023-11-20) renaming recent work to rdfreasoning
 v8.6.13 (2023-11-18) beautifying output for looking-through-rdf-glasses
 v8.6.12 (2023-11-17) supporting shorthand 'a' in 3-tuples
 v8.6.11 (2023-11-17) further fixing output for looking-through-rdf-glasses

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-8.6.13
+8.6.14
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v8.6.13 (2023-11-18)').
+version_info('EYE v8.6.14 (2023-11-20)').
 
 license_info('MIT License
 
@@ -418,8 +418,8 @@
     ;   true
     ),
     args(Args),
-    (   flag(looking_through_rdf_glasses)
-    ->  looking_through_rdf_glasses
+    (   flag(rdfreasoning)
+    ->  rdfreasoning
     ;   true
     ),
     (   flag(blogic)
@@ -481,7 +481,7 @@
         \+query(_, _),
         \+flag('pass-only-new'),
         \+flag(strings),
-        \+flag(looking_through_rdf_glasses),
+        \+flag(rdfreasoning),
         \+flag(blogic)
     ->  throw(halt(0))
     ;   true
@@ -617,10 +617,10 @@
     ).
 
 %
-% RDF Language
+% RDF Reasoning
 %
 
-looking_through_rdf_glasses :-
+rdfreasoning :-
     % create list terms
     (   pred(P),
         P \= '<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>',
@@ -1462,8 +1462,8 @@
             Triple =.. [Predicate, Subject, Object],
             djiti_assertz(Triple),
             (   Predicate = '<http://eyereasoner.github.io/rule#premise>',
-                \+flag(looking_through_rdf_glasses)
-            ->  assertz(flag(looking_through_rdf_glasses))
+                \+flag(rdfreasoning)
+            ->  assertz(flag(rdfreasoning))
             ;   true
             ),
             (   flag(intermediate, Out)
@@ -1524,8 +1524,8 @@
         ;   true
         ),
         (   Rt = '<http://eyereasoner.github.io/rule#premise>'(_, _),
-            \+flag(looking_through_rdf_glasses)
-        ->  assertz(flag(looking_through_rdf_glasses))
+            \+flag(rdfreasoning)
+        ->  assertz(flag(rdfreasoning))
         ;   true
         ),
         (   functor(Rt, F, _),
@@ -2607,8 +2607,8 @@
     {   prolog_verb(Item, Verb),
         (   atomic(Verb),
             Verb = '\'<http://eyereasoner.github.io/rule#premise>\'',
-            \+flag(looking_through_rdf_glasses)
-        ->  assertz(flag(looking_through_rdf_glasses))
+            \+flag(rdfreasoning)
+        ->  assertz(flag(rdfreasoning))
         ;   true
         ),
         (   atomic(Verb),
@@ -4155,7 +4155,7 @@
     wp('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#derive>'),
     write(' true').
 wt0('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>') :-
-    flag(looking_through_rdf_glasses),
+    flag(rdfreasoning),
     !,
     write(a).
 wt0([]) :-
@@ -4355,7 +4355,7 @@
         write(' true')
     ;   wt(X),
         ws(X),
-        (   flag(looking_through_rdf_glasses)
+        (   flag(rdfreasoning)
         ->  true
         ;   write('.')
         ),
@@ -4389,7 +4389,7 @@
         indentation(-4),
         indent,
         write(']')
-    ;   (   flag(looking_through_rdf_glasses),
+    ;   (   flag(rdfreasoning),
             is_lott([X|Y])
         ->  write('('),
             indentation(4),
@@ -4666,7 +4666,7 @@
     ->  write('"'),
         writeq(X),
         write('"')
-    ;   (   flag(looking_through_rdf_glasses),
+    ;   (   flag(rdfreasoning),
             \+nb_getval(indentation, 0)
         ->  write('(')
         ;   true
@@ -4676,7 +4676,7 @@
         wp(P),
         write(' '),
         wg(O),
-        (   flag(looking_through_rdf_glasses),
+        (   flag(rdfreasoning),
             \+nb_getval(indentation, 0)
         ->  write(')')
         ;   true
@@ -4688,7 +4688,7 @@
     (   atom(P)
     ->  X =.. [P, S, O],
         wt2(X)
-    ;   (   flag(looking_through_rdf_glasses),
+    ;   (   flag(rdfreasoning),
             \+nb_getval(indentation, 0)
         ->  write('(')
         ;   true
@@ -4698,7 +4698,7 @@
         wg(P),
         write(' '),
         wg(O),
-        (   flag(looking_through_rdf_glasses),
+        (   flag(rdfreasoning),
             \+nb_getval(indentation, 0)
         ->  write(')')
         ;   true
@@ -4753,7 +4753,7 @@
             ;   F = ':-'
             )
         )
-    ->  (   flag(looking_through_rdf_glasses)
+    ->  (   flag(rdfreasoning)
         ->  write('(')
         ;   write('{')
         ),
@@ -4776,15 +4776,15 @@
         ->  true
         ;   (   flag('no-beautified-output')
             ->  true
-            ;   (   flag(looking_through_rdf_glasses)
+            ;   (   flag(rdfreasoning)
                 ->  true
                 ;   write('.')
                 ),
                 nl,
                 indent
             )
         ),
-        (   flag(looking_through_rdf_glasses)
+        (   flag(rdfreasoning)
         ->  write(')')
         ;   write('}')
         )

diff --git a/eye.zip b/eye.zip
diff --git a/looking-through-rdf-glasses/README b/looking-through-rdf-glasses/README
diff --git a/looking-through-rdf-glasses/temp/README b/looking-through-rdf-glasses/temp/README
diff --git a/rdfreasoning/README b/rdfreasoning/README
@@ -0,0 +1,5 @@
+-------------
+RDF Reasoning
+-------------
+
+Reasoning with rules described in RDF.
diff --git a/looking-through-rdf-glasses/acp/README → rdfreasoning/acp/README b/looking-through-rdf-glasses/acp/README → rdfreasoning/acp/README
diff --git a/looking-through-rdf-glasses/acp/acp.ttl → rdfreasoning/acp/acp.ttl b/looking-through-rdf-glasses/acp/acp.ttl → rdfreasoning/acp/acp.ttl
diff --git a/...g-through-rdf-glasses/acp/out/acp.ttl.out → rdfreasoning/acp/out/acp.ttl.out b/...g-through-rdf-glasses/acp/out/acp.ttl.out → rdfreasoning/acp/out/acp.ttl.out
diff --git a/looking-through-rdf-glasses/acp/test → rdfreasoning/acp/test b/looking-through-rdf-glasses/acp/test → rdfreasoning/acp/test
diff --git a/...hrough-rdf-glasses/complex-numbers/README → rdfreasoning/complex-numbers/README b/...hrough-rdf-glasses/complex-numbers/README → rdfreasoning/complex-numbers/README
diff --git a/...asses/complex-numbers/complex-numbers.ttl → ...oning/complex-numbers/complex-numbers.ttl b/...asses/complex-numbers/complex-numbers.ttl → ...oning/complex-numbers/complex-numbers.ttl
diff --git a/...mplex-numbers/out/complex-numbers.ttl.out → ...mplex-numbers/out/complex-numbers.ttl.out b/...mplex-numbers/out/complex-numbers.ttl.out → ...mplex-numbers/out/complex-numbers.ttl.out
diff --git a/...-through-rdf-glasses/complex-numbers/test → rdfreasoning/complex-numbers/test b/...-through-rdf-glasses/complex-numbers/test → rdfreasoning/complex-numbers/test
diff --git a/looking-through-rdf-glasses/fibonacci/README → rdfreasoning/fibonacci/README b/looking-through-rdf-glasses/fibonacci/README → rdfreasoning/fibonacci/README
diff --git a/...rough-rdf-glasses/fibonacci/fibonacci.ttl → rdfreasoning/fibonacci/fibonacci.ttl b/...rough-rdf-glasses/fibonacci/fibonacci.ttl → rdfreasoning/fibonacci/fibonacci.ttl
diff --git a/...f-glasses/fibonacci/out/fibonacci.ttl.out → rdfreasoning/fibonacci/out/fibonacci.ttl.out b/...f-glasses/fibonacci/out/fibonacci.ttl.out → rdfreasoning/fibonacci/out/fibonacci.ttl.out
diff --git a/looking-through-rdf-glasses/fibonacci/test → rdfreasoning/fibonacci/test b/looking-through-rdf-glasses/fibonacci/test → rdfreasoning/fibonacci/test
diff --git a/looking-through-rdf-glasses/gps/README → rdfreasoning/gps/README b/looking-through-rdf-glasses/gps/README → rdfreasoning/gps/README
diff --git a/looking-through-rdf-glasses/gps/gps.ttl → rdfreasoning/gps/gps.ttl b/looking-through-rdf-glasses/gps/gps.ttl → rdfreasoning/gps/gps.ttl
diff --git a/...g-through-rdf-glasses/gps/out/gps.ttl.out → rdfreasoning/gps/out/gps.ttl.out b/...g-through-rdf-glasses/gps/out/gps.ttl.out → rdfreasoning/gps/out/gps.ttl.out
diff --git a/looking-through-rdf-glasses/gps/test → rdfreasoning/gps/test b/looking-through-rdf-glasses/gps/test → rdfreasoning/gps/test
diff --git a/looking-through-rdf-glasses/graph/README → rdfreasoning/graph/README b/looking-through-rdf-glasses/graph/README → rdfreasoning/graph/README
diff --git a/looking-through-rdf-glasses/graph/graph.ttl → rdfreasoning/graph/graph.ttl b/looking-through-rdf-glasses/graph/graph.ttl → rdfreasoning/graph/graph.ttl
diff --git a/...rough-rdf-glasses/graph/out/graph.ttl.out → rdfreasoning/graph/out/graph.ttl.out b/...rough-rdf-glasses/graph/out/graph.ttl.out → rdfreasoning/graph/out/graph.ttl.out
diff --git a/looking-through-rdf-glasses/graph/test → rdfreasoning/graph/test b/looking-through-rdf-glasses/graph/test → rdfreasoning/graph/test
diff --git a/...gh-rdf-glasses/negation-predicates/README → rdfreasoning/negation-predicates/README b/...gh-rdf-glasses/negation-predicates/README → rdfreasoning/negation-predicates/README
diff --git a/...gation-predicates/negation-predicates.ttl → ...gation-predicates/negation-predicates.ttl b/...gation-predicates/negation-predicates.ttl → ...gation-predicates/negation-predicates.ttl
diff --git a/...redicates/out/negation-predicates.ttl.out → ...redicates/out/negation-predicates.ttl.out b/...redicates/out/negation-predicates.ttl.out → ...redicates/out/negation-predicates.ttl.out
diff --git a/...ough-rdf-glasses/negation-predicates/test → rdfreasoning/negation-predicates/test b/...ough-rdf-glasses/negation-predicates/test → rdfreasoning/negation-predicates/test
diff --git a/looking-through-rdf-glasses/peano/README → rdfreasoning/peano/README b/looking-through-rdf-glasses/peano/README → rdfreasoning/peano/README
diff --git a/...rough-rdf-glasses/peano/out/peano.ttl.out → rdfreasoning/peano/out/peano.ttl.out b/...rough-rdf-glasses/peano/out/peano.ttl.out → rdfreasoning/peano/out/peano.ttl.out
diff --git a/looking-through-rdf-glasses/peano/peano.ttl → rdfreasoning/peano/peano.ttl b/looking-through-rdf-glasses/peano/peano.ttl → rdfreasoning/peano/peano.ttl
diff --git a/looking-through-rdf-glasses/peano/test → rdfreasoning/peano/test b/looking-through-rdf-glasses/peano/test → rdfreasoning/peano/test
diff --git a/looking-through-rdf-glasses/pi/README → rdfreasoning/pi/README b/looking-through-rdf-glasses/pi/README → rdfreasoning/pi/README
diff --git a/...ing-through-rdf-glasses/pi/out/pi.ttl.out → rdfreasoning/pi/out/pi.ttl.out b/...ing-through-rdf-glasses/pi/out/pi.ttl.out → rdfreasoning/pi/out/pi.ttl.out
diff --git a/looking-through-rdf-glasses/pi/pi.ttl → rdfreasoning/pi/pi.ttl b/looking-through-rdf-glasses/pi/pi.ttl → rdfreasoning/pi/pi.ttl
diff --git a/looking-through-rdf-glasses/pi/test → rdfreasoning/pi/test b/looking-through-rdf-glasses/pi/test → rdfreasoning/pi/test
diff --git a/looking-through-rdf-glasses/sdcoding/README → rdfreasoning/sdcoding/README b/looking-through-rdf-glasses/sdcoding/README → rdfreasoning/sdcoding/README
diff --git a/...rdf-glasses/sdcoding/out/sdcoding.ttl.out → rdfreasoning/sdcoding/out/sdcoding.ttl.out b/...rdf-glasses/sdcoding/out/sdcoding.ttl.out → rdfreasoning/sdcoding/out/sdcoding.ttl.out
diff --git a/...through-rdf-glasses/sdcoding/sdcoding.ttl → rdfreasoning/sdcoding/sdcoding.ttl b/...through-rdf-glasses/sdcoding/sdcoding.ttl → rdfreasoning/sdcoding/sdcoding.ttl
diff --git a/looking-through-rdf-glasses/sdcoding/test → rdfreasoning/sdcoding/test b/looking-through-rdf-glasses/sdcoding/test → rdfreasoning/sdcoding/test
diff --git a/looking-through-rdf-glasses/socrates/README → rdfreasoning/socrates/README b/looking-through-rdf-glasses/socrates/README → rdfreasoning/socrates/README
diff --git a/...rdf-glasses/socrates/out/socrates.ttl.out → rdfreasoning/socrates/out/socrates.ttl.out b/...rdf-glasses/socrates/out/socrates.ttl.out → rdfreasoning/socrates/out/socrates.ttl.out
diff --git a/...through-rdf-glasses/socrates/socrates.ttl → rdfreasoning/socrates/socrates.ttl b/...through-rdf-glasses/socrates/socrates.ttl → rdfreasoning/socrates/socrates.ttl
diff --git a/looking-through-rdf-glasses/socrates/test → rdfreasoning/socrates/test b/looking-through-rdf-glasses/socrates/test → rdfreasoning/socrates/test
diff --git a/rdfreasoning/temp/README b/rdfreasoning/temp/README
@@ -0,0 +1,5 @@
+-------------
+RDF Reasoning
+-------------
+
+Testing various cases.
diff --git a/looking-through-rdf-glasses/temp/append.ttl → rdfreasoning/temp/append.ttl b/looking-through-rdf-glasses/temp/append.ttl → rdfreasoning/temp/append.ttl
diff --git a/looking-through-rdf-glasses/temp/lott.ttl → rdfreasoning/temp/lott.ttl b/looking-through-rdf-glasses/temp/lott.ttl → rdfreasoning/temp/lott.ttl
diff --git a/...rough-rdf-glasses/temp/out/append.ttl.out → rdfreasoning/temp/out/append.ttl.out b/...rough-rdf-glasses/temp/out/append.ttl.out → rdfreasoning/temp/out/append.ttl.out
diff --git a/...through-rdf-glasses/temp/out/lott.ttl.out → rdfreasoning/temp/out/lott.ttl.out b/...through-rdf-glasses/temp/out/lott.ttl.out → rdfreasoning/temp/out/lott.ttl.out
diff --git a/...hrough-rdf-glasses/temp/out/union.ttl.out → rdfreasoning/temp/out/union.ttl.out b/...hrough-rdf-glasses/temp/out/union.ttl.out → rdfreasoning/temp/out/union.ttl.out
diff --git a/looking-through-rdf-glasses/temp/test → rdfreasoning/temp/test b/looking-through-rdf-glasses/temp/test → rdfreasoning/temp/test
diff --git a/looking-through-rdf-glasses/temp/union.ttl → rdfreasoning/temp/union.ttl b/looking-through-rdf-glasses/temp/union.ttl → rdfreasoning/temp/union.ttl
diff --git a/looking-through-rdf-glasses/test → rdfreasoning/test b/looking-through-rdf-glasses/test → rdfreasoning/test
@@ -8,7 +8,7 @@ NORMAL="\e[0;39m"
 OK=0
 FAILED=0
 
-echo -e "${YELLOW}Running eye/looking-through-rdf-glasses/test${NORMAL}"
+echo -e "${YELLOW}Running eye/rdfreasoning/test${NORMAL}"
 echo ""
 
 for dir in */

diff --git a/looking-through-rdf-glasses/turing/README → rdfreasoning/turing/README b/looking-through-rdf-glasses/turing/README → rdfreasoning/turing/README
diff --git a/...ugh-rdf-glasses/turing/out/turing.ttl.out → rdfreasoning/turing/out/turing.ttl.out b/...ugh-rdf-glasses/turing/out/turing.ttl.out → rdfreasoning/turing/out/turing.ttl.out
diff --git a/looking-through-rdf-glasses/turing/test → rdfreasoning/turing/test b/looking-through-rdf-glasses/turing/test → rdfreasoning/turing/test
diff --git a/...ing-through-rdf-glasses/turing/turing.ttl → rdfreasoning/turing/turing.ttl b/...ing-through-rdf-glasses/turing/turing.ttl → rdfreasoning/turing/turing.ttl
diff --git a/...h-rdf-glasses/universal-statements/README → rdfreasoning/universal-statements/README b/...h-rdf-glasses/universal-statements/README → rdfreasoning/universal-statements/README
diff --git a/...atements/out/universal-statements.ttl.out → ...atements/out/universal-statements.ttl.out b/...atements/out/universal-statements.ttl.out → ...atements/out/universal-statements.ttl.out
diff --git a/...ugh-rdf-glasses/universal-statements/test → rdfreasoning/universal-statements/test b/...ugh-rdf-glasses/universal-statements/test → rdfreasoning/universal-statements/test
diff --git a/...ersal-statements/universal-statements.ttl → ...ersal-statements/universal-statements.ttl b/...ersal-statements/universal-statements.ttl → ...ersal-statements/universal-statements.ttl
diff --git a/looking-through-rdf-glasses/witch/README → rdfreasoning/witch/README b/looking-through-rdf-glasses/witch/README → rdfreasoning/witch/README
diff --git a/...rough-rdf-glasses/witch/out/witch.ttl.out → rdfreasoning/witch/out/witch.ttl.out b/...rough-rdf-glasses/witch/out/witch.ttl.out → rdfreasoning/witch/out/witch.ttl.out
diff --git a/looking-through-rdf-glasses/witch/test → rdfreasoning/witch/test b/looking-through-rdf-glasses/witch/test → rdfreasoning/witch/test
diff --git a/looking-through-rdf-glasses/witch/witch.ttl → rdfreasoning/witch/witch.ttl b/looking-through-rdf-glasses/witch/witch.ttl → rdfreasoning/witch/witch.ttl
diff --git a/test b/test
@@ -4,6 +4,6 @@ pushd ~/github.com/eyereasoner/eye/reasoning > /dev/null
 popd > /dev/null
 echo ""
 
-pushd ~/github.com/eyereasoner/eye/looking-through-rdf-glasses > /dev/null
+pushd ~/github.com/eyereasoner/eye/rdfreasoning > /dev/null
 ./test
 popd > /dev/null