renaming rdfreasoning to rdflingua

eyereasoner · Nov 25, 2023 · ec43f90 · ec43f90
1 parent 7d2d364
commit ec43f90
Show file tree

Hide file tree

Showing 83 changed files with 26 additions and 25 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v8.6.21 (2023-11-25) renaming rdfreasoning to rdflingua
 v8.6.20 (2023-11-24) fixing euler abstract machine for rdfreasoning
 v8.6.19 (2023-11-24) using explicit rule:vars in rdfreasoning
 v8.6.18 (2023-11-23) using log:negativeTriple as backward chaining hint

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-8.6.20
+8.6.21
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.20 (2023-11-24)').
+version_info('EYE v8.6.21 (2023-11-25)').
 
 license_info('MIT License
 
@@ -418,8 +418,8 @@
     ;   true
     ),
     args(Args),
-    (   flag(rdfreasoning)
-    ->  rdfreasoning
+    (   flag(rdflingua)
+    ->  rdflingua
     ;   true
     ),
     (   flag(blogic)
@@ -481,7 +481,7 @@
         \+query(_, _),
         \+flag('pass-only-new'),
         \+flag(strings),
-        \+flag(rdfreasoning),
+        \+flag(rdflingua),
         \+flag(blogic)
     ->  throw(halt(0))
     ;   true
@@ -617,10 +617,10 @@
     ).
 
 %
-% RDF Reasoning
+% RDF Lingua
 %
 
-rdfreasoning :-
+rdflingua :-
     % create list terms
     (   pred(P),
         P \= '<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>',
@@ -1460,8 +1460,8 @@
             Triple =.. [Predicate, Subject, Object],
             djiti_assertz(Triple),
             (   Predicate = '<http://eyereasoner.github.io/rule#premise>',
-                \+flag(rdfreasoning)
-            ->  assertz(flag(rdfreasoning))
+                \+flag(rdflingua)
+            ->  assertz(flag(rdflingua))
             ;   true
             ),
             (   flag(intermediate, Out)
@@ -1522,8 +1522,8 @@
         ;   true
         ),
         (   Rt = '<http://eyereasoner.github.io/rule#premise>'(_, _),
-            \+flag(rdfreasoning)
-        ->  assertz(flag(rdfreasoning))
+            \+flag(rdflingua)
+        ->  assertz(flag(rdflingua))
         ;   true
         ),
         (   functor(Rt, F, _),
@@ -2594,8 +2594,8 @@
     {   prolog_verb(Item, Verb),
         (   atomic(Verb),
             Verb = '\'<http://eyereasoner.github.io/rule#premise>\'',
-            \+flag(rdfreasoning)
-        ->  assertz(flag(rdfreasoning))
+            \+flag(rdflingua)
+        ->  assertz(flag(rdflingua))
         ;   true
         ),
         (   atomic(Verb),
@@ -4142,7 +4142,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(rdfreasoning),
+    flag(rdflingua),
     !,
     write(a).
 wt0([]) :-
@@ -4342,7 +4342,7 @@
         write(' true')
     ;   wt(X),
         ws(X),
-        (   flag(rdfreasoning)
+        (   flag(rdflingua)
         ->  true
         ;   write('.')
         ),
@@ -4376,7 +4376,7 @@
         indentation(-4),
         indent,
         write(']')
-    ;   (   flag(rdfreasoning),
+    ;   (   flag(rdflingua),
             is_lott([X|Y])
         ->  write('('),
             indentation(4),
@@ -4653,7 +4653,7 @@
     ->  write('"'),
         writeq(X),
         write('"')
-    ;   (   flag(rdfreasoning),
+    ;   (   flag(rdflingua),
             \+nb_getval(indentation, 0)
         ->  write('(')
         ;   true
@@ -4663,7 +4663,7 @@
         wp(P),
         write(' '),
         wg(O),
-        (   flag(rdfreasoning),
+        (   flag(rdflingua),
             \+nb_getval(indentation, 0)
         ->  write(')')
         ;   true
@@ -4675,7 +4675,7 @@
     (   atom(P)
     ->  X =.. [P, S, O],
         wt2(X)
-    ;   (   flag(rdfreasoning),
+    ;   (   flag(rdflingua),
             \+nb_getval(indentation, 0)
         ->  write('(')
         ;   true
@@ -4685,7 +4685,7 @@
         wg(P),
         write(' '),
         wg(O),
-        (   flag(rdfreasoning),
+        (   flag(rdflingua),
             \+nb_getval(indentation, 0)
         ->  write(')')
         ;   true
@@ -4740,7 +4740,7 @@
             ;   F = ':-'
             )
         )
-    ->  (   flag(rdfreasoning)
+    ->  (   flag(rdflingua)
         ->  write('(')
         ;   write('{')
         ),
@@ -4763,15 +4763,15 @@
         ->  true
         ;   (   flag('no-beautified-output')
             ->  true
-            ;   (   flag(rdfreasoning)
+            ;   (   flag(rdflingua)
                 ->  true
                 ;   write('.')
                 ),
                 nl,
                 indent
             )
         ),
-        (   flag(rdfreasoning)
+        (   flag(rdflingua)
         ->  write(')')
         ;   write('}')
         )

diff --git a/eye.zip b/eye.zip
diff --git a/rdfreasoning/README → rdflingua/README b/rdfreasoning/README → rdflingua/README
diff --git a/rdfreasoning/acp/README → rdflingua/acp/README b/rdfreasoning/acp/README → rdflingua/acp/README
diff --git a/rdfreasoning/acp/acp.ttl → rdflingua/acp/acp.ttl b/rdfreasoning/acp/acp.ttl → rdflingua/acp/acp.ttl
diff --git a/rdfreasoning/acp/out/acp.ttl.out → rdflingua/acp/out/acp.ttl.out b/rdfreasoning/acp/out/acp.ttl.out → rdflingua/acp/out/acp.ttl.out
diff --git a/rdfreasoning/acp/test → rdflingua/acp/test b/rdfreasoning/acp/test → rdflingua/acp/test
diff --git a/rdfreasoning/complex-numbers/README → rdflingua/complex-numbers/README b/rdfreasoning/complex-numbers/README → rdflingua/complex-numbers/README
diff --git a/...oning/complex-numbers/complex-numbers.ttl → ...ingua/complex-numbers/complex-numbers.ttl b/...oning/complex-numbers/complex-numbers.ttl → ...ingua/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/rdfreasoning/complex-numbers/test → rdflingua/complex-numbers/test b/rdfreasoning/complex-numbers/test → rdflingua/complex-numbers/test
diff --git a/rdfreasoning/fibonacci/README → rdflingua/fibonacci/README b/rdfreasoning/fibonacci/README → rdflingua/fibonacci/README
diff --git a/rdfreasoning/fibonacci/fibonacci.ttl → rdflingua/fibonacci/fibonacci.ttl b/rdfreasoning/fibonacci/fibonacci.ttl → rdflingua/fibonacci/fibonacci.ttl
diff --git a/rdfreasoning/fibonacci/out/fibonacci.ttl.out → rdflingua/fibonacci/out/fibonacci.ttl.out b/rdfreasoning/fibonacci/out/fibonacci.ttl.out → rdflingua/fibonacci/out/fibonacci.ttl.out
diff --git a/rdfreasoning/fibonacci/test → rdflingua/fibonacci/test b/rdfreasoning/fibonacci/test → rdflingua/fibonacci/test
diff --git a/rdfreasoning/gps/README → rdflingua/gps/README b/rdfreasoning/gps/README → rdflingua/gps/README
diff --git a/rdfreasoning/gps/gps.ttl → rdflingua/gps/gps.ttl b/rdfreasoning/gps/gps.ttl → rdflingua/gps/gps.ttl
diff --git a/rdfreasoning/gps/out/gps.ttl.out → rdflingua/gps/out/gps.ttl.out b/rdfreasoning/gps/out/gps.ttl.out → rdflingua/gps/out/gps.ttl.out
diff --git a/rdfreasoning/gps/test → rdflingua/gps/test b/rdfreasoning/gps/test → rdflingua/gps/test
diff --git a/rdfreasoning/graph/README → rdflingua/graph/README b/rdfreasoning/graph/README → rdflingua/graph/README
diff --git a/rdfreasoning/graph/graph.ttl → rdflingua/graph/graph.ttl b/rdfreasoning/graph/graph.ttl → rdflingua/graph/graph.ttl
diff --git a/rdfreasoning/graph/out/graph.ttl.out → rdflingua/graph/out/graph.ttl.out b/rdfreasoning/graph/out/graph.ttl.out → rdflingua/graph/out/graph.ttl.out
diff --git a/rdfreasoning/graph/test → rdflingua/graph/test b/rdfreasoning/graph/test → rdflingua/graph/test
diff --git a/rdfreasoning/hanoi/README → rdflingua/hanoi/README b/rdfreasoning/hanoi/README → rdflingua/hanoi/README
diff --git a/rdfreasoning/hanoi/hanoi.ttl → rdflingua/hanoi/hanoi.ttl b/rdfreasoning/hanoi/hanoi.ttl → rdflingua/hanoi/hanoi.ttl
diff --git a/rdfreasoning/hanoi/out/hanoi.ttl.out → rdflingua/hanoi/out/hanoi.ttl.out b/rdfreasoning/hanoi/out/hanoi.ttl.out → rdflingua/hanoi/out/hanoi.ttl.out
diff --git a/rdfreasoning/hanoi/test → rdflingua/hanoi/test b/rdfreasoning/hanoi/test → rdflingua/hanoi/test
diff --git a/rdfreasoning/negation-predicates/README → rdflingua/negation-predicates/README b/rdfreasoning/negation-predicates/README → rdflingua/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/rdfreasoning/negation-predicates/test → rdflingua/negation-predicates/test b/rdfreasoning/negation-predicates/test → rdflingua/negation-predicates/test
diff --git a/rdfreasoning/peano/README → rdflingua/peano/README b/rdfreasoning/peano/README → rdflingua/peano/README
diff --git a/rdfreasoning/peano/out/peano.ttl.out → rdflingua/peano/out/peano.ttl.out b/rdfreasoning/peano/out/peano.ttl.out → rdflingua/peano/out/peano.ttl.out
diff --git a/rdfreasoning/peano/peano.ttl → rdflingua/peano/peano.ttl b/rdfreasoning/peano/peano.ttl → rdflingua/peano/peano.ttl
diff --git a/rdfreasoning/peano/test → rdflingua/peano/test b/rdfreasoning/peano/test → rdflingua/peano/test
diff --git a/rdfreasoning/pi/README → rdflingua/pi/README b/rdfreasoning/pi/README → rdflingua/pi/README
diff --git a/rdfreasoning/pi/out/pi.ttl.out → rdflingua/pi/out/pi.ttl.out b/rdfreasoning/pi/out/pi.ttl.out → rdflingua/pi/out/pi.ttl.out
diff --git a/rdfreasoning/pi/pi.ttl → rdflingua/pi/pi.ttl b/rdfreasoning/pi/pi.ttl → rdflingua/pi/pi.ttl
diff --git a/rdfreasoning/pi/test → rdflingua/pi/test b/rdfreasoning/pi/test → rdflingua/pi/test
diff --git a/rdfreasoning/sdcoding/README → rdflingua/sdcoding/README b/rdfreasoning/sdcoding/README → rdflingua/sdcoding/README
diff --git a/rdfreasoning/sdcoding/out/sdcoding.ttl.out → rdflingua/sdcoding/out/sdcoding.ttl.out b/rdfreasoning/sdcoding/out/sdcoding.ttl.out → rdflingua/sdcoding/out/sdcoding.ttl.out
diff --git a/rdfreasoning/sdcoding/sdcoding.ttl → rdflingua/sdcoding/sdcoding.ttl b/rdfreasoning/sdcoding/sdcoding.ttl → rdflingua/sdcoding/sdcoding.ttl
diff --git a/rdfreasoning/sdcoding/test → rdflingua/sdcoding/test b/rdfreasoning/sdcoding/test → rdflingua/sdcoding/test
diff --git a/rdfreasoning/socrates/README → rdflingua/socrates/README b/rdfreasoning/socrates/README → rdflingua/socrates/README
diff --git a/rdfreasoning/socrates/out/socrates.ttl.out → rdflingua/socrates/out/socrates.ttl.out b/rdfreasoning/socrates/out/socrates.ttl.out → rdflingua/socrates/out/socrates.ttl.out
diff --git a/rdfreasoning/socrates/socrates.ttl → rdflingua/socrates/socrates.ttl b/rdfreasoning/socrates/socrates.ttl → rdflingua/socrates/socrates.ttl
diff --git a/rdfreasoning/socrates/test → rdflingua/socrates/test b/rdfreasoning/socrates/test → rdflingua/socrates/test
diff --git a/rdfreasoning/temp/README → rdflingua/temp/README b/rdfreasoning/temp/README → rdflingua/temp/README
diff --git a/rdfreasoning/temp/append.ttl → rdflingua/temp/append.ttl b/rdfreasoning/temp/append.ttl → rdflingua/temp/append.ttl
diff --git a/rdfreasoning/temp/backward.ttl → rdflingua/temp/backward.ttl b/rdfreasoning/temp/backward.ttl → rdflingua/temp/backward.ttl
diff --git a/rdfreasoning/temp/forward.ttl → rdflingua/temp/forward.ttl b/rdfreasoning/temp/forward.ttl → rdflingua/temp/forward.ttl
diff --git a/rdfreasoning/temp/gen.ttl → rdflingua/temp/gen.ttl b/rdfreasoning/temp/gen.ttl → rdflingua/temp/gen.ttl
diff --git a/rdfreasoning/temp/out/append.ttl.out → rdflingua/temp/out/append.ttl.out b/rdfreasoning/temp/out/append.ttl.out → rdflingua/temp/out/append.ttl.out
diff --git a/rdfreasoning/temp/out/backward.ttl.out → rdflingua/temp/out/backward.ttl.out b/rdfreasoning/temp/out/backward.ttl.out → rdflingua/temp/out/backward.ttl.out
diff --git a/rdfreasoning/temp/out/forward.ttl.out → rdflingua/temp/out/forward.ttl.out b/rdfreasoning/temp/out/forward.ttl.out → rdflingua/temp/out/forward.ttl.out
diff --git a/rdfreasoning/temp/out/gen.ttl.out → rdflingua/temp/out/gen.ttl.out b/rdfreasoning/temp/out/gen.ttl.out → rdflingua/temp/out/gen.ttl.out
diff --git a/rdfreasoning/temp/out/sha512.ttl.out → rdflingua/temp/out/sha512.ttl.out b/rdfreasoning/temp/out/sha512.ttl.out → rdflingua/temp/out/sha512.ttl.out
diff --git a/...g/temp/out/socrates-contradiction.ttl.out → ...a/temp/out/socrates-contradiction.ttl.out b/...g/temp/out/socrates-contradiction.ttl.out → ...a/temp/out/socrates-contradiction.ttl.out
diff --git a/rdfreasoning/temp/out/union.ttl.out → rdflingua/temp/out/union.ttl.out b/rdfreasoning/temp/out/union.ttl.out → rdflingua/temp/out/union.ttl.out
diff --git a/rdfreasoning/temp/sha512.ttl → rdflingua/temp/sha512.ttl b/rdfreasoning/temp/sha512.ttl → rdflingua/temp/sha512.ttl
diff --git a/rdfreasoning/temp/socrates-contradiction.ttl → rdflingua/temp/socrates-contradiction.ttl b/rdfreasoning/temp/socrates-contradiction.ttl → rdflingua/temp/socrates-contradiction.ttl
diff --git a/rdfreasoning/temp/test → rdflingua/temp/test b/rdfreasoning/temp/test → rdflingua/temp/test
diff --git a/rdfreasoning/temp/union.ttl → rdflingua/temp/union.ttl b/rdfreasoning/temp/union.ttl → rdflingua/temp/union.ttl
diff --git a/rdfreasoning/test → rdflingua/test b/rdfreasoning/test → rdflingua/test
@@ -8,7 +8,7 @@ NORMAL="\e[0;39m"
 OK=0
 FAILED=0
 
-echo -e "${YELLOW}Running eye/rdfreasoning/test${NORMAL}"
+echo -e "${YELLOW}Running eye/rdflingua/test${NORMAL}"
 echo ""
 
 for dir in */

diff --git a/rdfreasoning/turing/README → rdflingua/turing/README b/rdfreasoning/turing/README → rdflingua/turing/README
diff --git a/rdfreasoning/turing/out/turing.ttl.out → rdflingua/turing/out/turing.ttl.out b/rdfreasoning/turing/out/turing.ttl.out → rdflingua/turing/out/turing.ttl.out
diff --git a/rdfreasoning/turing/test → rdflingua/turing/test b/rdfreasoning/turing/test → rdflingua/turing/test
diff --git a/rdfreasoning/turing/turing.ttl → rdflingua/turing/turing.ttl b/rdfreasoning/turing/turing.ttl → rdflingua/turing/turing.ttl
diff --git a/rdfreasoning/universal-statements/README → rdflingua/universal-statements/README b/rdfreasoning/universal-statements/README → rdflingua/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/rdfreasoning/universal-statements/test → rdflingua/universal-statements/test b/rdfreasoning/universal-statements/test → rdflingua/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/rdfreasoning/unpack/README → rdflingua/unpack/README b/rdfreasoning/unpack/README → rdflingua/unpack/README
diff --git a/rdfreasoning/unpack/out/unpack.ttl.out → rdflingua/unpack/out/unpack.ttl.out b/rdfreasoning/unpack/out/unpack.ttl.out → rdflingua/unpack/out/unpack.ttl.out
diff --git a/rdfreasoning/unpack/test → rdflingua/unpack/test b/rdfreasoning/unpack/test → rdflingua/unpack/test
diff --git a/rdfreasoning/unpack/unpack.ttl → rdflingua/unpack/unpack.ttl b/rdfreasoning/unpack/unpack.ttl → rdflingua/unpack/unpack.ttl
diff --git a/rdfreasoning/witch/README → rdflingua/witch/README b/rdfreasoning/witch/README → rdflingua/witch/README
diff --git a/rdfreasoning/witch/out/witch.ttl.out → rdflingua/witch/out/witch.ttl.out b/rdfreasoning/witch/out/witch.ttl.out → rdflingua/witch/out/witch.ttl.out
diff --git a/rdfreasoning/witch/test → rdflingua/witch/test b/rdfreasoning/witch/test → rdflingua/witch/test
diff --git a/rdfreasoning/witch/witch.ttl → rdflingua/witch/witch.ttl b/rdfreasoning/witch/witch.ttl → rdflingua/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/rdfreasoning > /dev/null
+pushd ~/github.com/eyereasoner/eye/rdflingua > /dev/null
 ./test
 popd > /dev/null