diff --git a/RELEASE b/RELEASE index d18fa84ca..21728324f 100644 --- 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 index f6c45085a..a443a84f1 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -8.6.20 +8.6.21 diff --git a/eye.pl b/eye.pl index 79739e4d3..ee1c98981 100644 --- 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 \= '', @@ -1460,8 +1460,8 @@ Triple =.. [Predicate, Subject, Object], djiti_assertz(Triple), ( Predicate = '', - \+flag(rdfreasoning) - -> assertz(flag(rdfreasoning)) + \+flag(rdflingua) + -> assertz(flag(rdflingua)) ; true ), ( flag(intermediate, Out) @@ -1522,8 +1522,8 @@ ; true ), ( Rt = ''(_, _), - \+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 = '\'\'', - \+flag(rdfreasoning) - -> assertz(flag(rdfreasoning)) + \+flag(rdflingua) + -> assertz(flag(rdflingua)) ; true ), ( atomic(Verb), @@ -4142,7 +4142,7 @@ wp(''), write(' true'). wt0('') :- - 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,7 +4763,7 @@ -> true ; ( flag('no-beautified-output') -> true - ; ( flag(rdfreasoning) + ; ( flag(rdflingua) -> true ; write('.') ), @@ -4771,7 +4771,7 @@ indent ) ), - ( flag(rdfreasoning) + ( flag(rdflingua) -> write(')') ; write('}') ) diff --git a/eye.zip b/eye.zip index b647084ff..89a7dde14 100644 Binary files a/eye.zip and b/eye.zip differ diff --git a/rdfreasoning/README b/rdflingua/README similarity index 100% rename from rdfreasoning/README rename to rdflingua/README diff --git a/rdfreasoning/acp/README b/rdflingua/acp/README similarity index 100% rename from rdfreasoning/acp/README rename to rdflingua/acp/README diff --git a/rdfreasoning/acp/acp.ttl b/rdflingua/acp/acp.ttl similarity index 100% rename from rdfreasoning/acp/acp.ttl rename to rdflingua/acp/acp.ttl diff --git a/rdfreasoning/acp/out/acp.ttl.out b/rdflingua/acp/out/acp.ttl.out similarity index 100% rename from rdfreasoning/acp/out/acp.ttl.out rename to rdflingua/acp/out/acp.ttl.out diff --git a/rdfreasoning/acp/test b/rdflingua/acp/test similarity index 100% rename from rdfreasoning/acp/test rename to rdflingua/acp/test diff --git a/rdfreasoning/complex-numbers/README b/rdflingua/complex-numbers/README similarity index 100% rename from rdfreasoning/complex-numbers/README rename to rdflingua/complex-numbers/README diff --git a/rdfreasoning/complex-numbers/complex-numbers.ttl b/rdflingua/complex-numbers/complex-numbers.ttl similarity index 100% rename from rdfreasoning/complex-numbers/complex-numbers.ttl rename to rdflingua/complex-numbers/complex-numbers.ttl diff --git a/rdfreasoning/complex-numbers/out/complex-numbers.ttl.out b/rdflingua/complex-numbers/out/complex-numbers.ttl.out similarity index 100% rename from rdfreasoning/complex-numbers/out/complex-numbers.ttl.out rename to rdflingua/complex-numbers/out/complex-numbers.ttl.out diff --git a/rdfreasoning/complex-numbers/test b/rdflingua/complex-numbers/test similarity index 100% rename from rdfreasoning/complex-numbers/test rename to rdflingua/complex-numbers/test diff --git a/rdfreasoning/fibonacci/README b/rdflingua/fibonacci/README similarity index 100% rename from rdfreasoning/fibonacci/README rename to rdflingua/fibonacci/README diff --git a/rdfreasoning/fibonacci/fibonacci.ttl b/rdflingua/fibonacci/fibonacci.ttl similarity index 100% rename from rdfreasoning/fibonacci/fibonacci.ttl rename to rdflingua/fibonacci/fibonacci.ttl diff --git a/rdfreasoning/fibonacci/out/fibonacci.ttl.out b/rdflingua/fibonacci/out/fibonacci.ttl.out similarity index 100% rename from rdfreasoning/fibonacci/out/fibonacci.ttl.out rename to rdflingua/fibonacci/out/fibonacci.ttl.out diff --git a/rdfreasoning/fibonacci/test b/rdflingua/fibonacci/test similarity index 100% rename from rdfreasoning/fibonacci/test rename to rdflingua/fibonacci/test diff --git a/rdfreasoning/gps/README b/rdflingua/gps/README similarity index 100% rename from rdfreasoning/gps/README rename to rdflingua/gps/README diff --git a/rdfreasoning/gps/gps.ttl b/rdflingua/gps/gps.ttl similarity index 100% rename from rdfreasoning/gps/gps.ttl rename to rdflingua/gps/gps.ttl diff --git a/rdfreasoning/gps/out/gps.ttl.out b/rdflingua/gps/out/gps.ttl.out similarity index 100% rename from rdfreasoning/gps/out/gps.ttl.out rename to rdflingua/gps/out/gps.ttl.out diff --git a/rdfreasoning/gps/test b/rdflingua/gps/test similarity index 100% rename from rdfreasoning/gps/test rename to rdflingua/gps/test diff --git a/rdfreasoning/graph/README b/rdflingua/graph/README similarity index 100% rename from rdfreasoning/graph/README rename to rdflingua/graph/README diff --git a/rdfreasoning/graph/graph.ttl b/rdflingua/graph/graph.ttl similarity index 100% rename from rdfreasoning/graph/graph.ttl rename to rdflingua/graph/graph.ttl diff --git a/rdfreasoning/graph/out/graph.ttl.out b/rdflingua/graph/out/graph.ttl.out similarity index 100% rename from rdfreasoning/graph/out/graph.ttl.out rename to rdflingua/graph/out/graph.ttl.out diff --git a/rdfreasoning/graph/test b/rdflingua/graph/test similarity index 100% rename from rdfreasoning/graph/test rename to rdflingua/graph/test diff --git a/rdfreasoning/hanoi/README b/rdflingua/hanoi/README similarity index 100% rename from rdfreasoning/hanoi/README rename to rdflingua/hanoi/README diff --git a/rdfreasoning/hanoi/hanoi.ttl b/rdflingua/hanoi/hanoi.ttl similarity index 100% rename from rdfreasoning/hanoi/hanoi.ttl rename to rdflingua/hanoi/hanoi.ttl diff --git a/rdfreasoning/hanoi/out/hanoi.ttl.out b/rdflingua/hanoi/out/hanoi.ttl.out similarity index 100% rename from rdfreasoning/hanoi/out/hanoi.ttl.out rename to rdflingua/hanoi/out/hanoi.ttl.out diff --git a/rdfreasoning/hanoi/test b/rdflingua/hanoi/test similarity index 100% rename from rdfreasoning/hanoi/test rename to rdflingua/hanoi/test diff --git a/rdfreasoning/negation-predicates/README b/rdflingua/negation-predicates/README similarity index 100% rename from rdfreasoning/negation-predicates/README rename to rdflingua/negation-predicates/README diff --git a/rdfreasoning/negation-predicates/negation-predicates.ttl b/rdflingua/negation-predicates/negation-predicates.ttl similarity index 100% rename from rdfreasoning/negation-predicates/negation-predicates.ttl rename to rdflingua/negation-predicates/negation-predicates.ttl diff --git a/rdfreasoning/negation-predicates/out/negation-predicates.ttl.out b/rdflingua/negation-predicates/out/negation-predicates.ttl.out similarity index 100% rename from rdfreasoning/negation-predicates/out/negation-predicates.ttl.out rename to rdflingua/negation-predicates/out/negation-predicates.ttl.out diff --git a/rdfreasoning/negation-predicates/test b/rdflingua/negation-predicates/test similarity index 100% rename from rdfreasoning/negation-predicates/test rename to rdflingua/negation-predicates/test diff --git a/rdfreasoning/peano/README b/rdflingua/peano/README similarity index 100% rename from rdfreasoning/peano/README rename to rdflingua/peano/README diff --git a/rdfreasoning/peano/out/peano.ttl.out b/rdflingua/peano/out/peano.ttl.out similarity index 100% rename from rdfreasoning/peano/out/peano.ttl.out rename to rdflingua/peano/out/peano.ttl.out diff --git a/rdfreasoning/peano/peano.ttl b/rdflingua/peano/peano.ttl similarity index 100% rename from rdfreasoning/peano/peano.ttl rename to rdflingua/peano/peano.ttl diff --git a/rdfreasoning/peano/test b/rdflingua/peano/test similarity index 100% rename from rdfreasoning/peano/test rename to rdflingua/peano/test diff --git a/rdfreasoning/pi/README b/rdflingua/pi/README similarity index 100% rename from rdfreasoning/pi/README rename to rdflingua/pi/README diff --git a/rdfreasoning/pi/out/pi.ttl.out b/rdflingua/pi/out/pi.ttl.out similarity index 100% rename from rdfreasoning/pi/out/pi.ttl.out rename to rdflingua/pi/out/pi.ttl.out diff --git a/rdfreasoning/pi/pi.ttl b/rdflingua/pi/pi.ttl similarity index 100% rename from rdfreasoning/pi/pi.ttl rename to rdflingua/pi/pi.ttl diff --git a/rdfreasoning/pi/test b/rdflingua/pi/test similarity index 100% rename from rdfreasoning/pi/test rename to rdflingua/pi/test diff --git a/rdfreasoning/sdcoding/README b/rdflingua/sdcoding/README similarity index 100% rename from rdfreasoning/sdcoding/README rename to rdflingua/sdcoding/README diff --git a/rdfreasoning/sdcoding/out/sdcoding.ttl.out b/rdflingua/sdcoding/out/sdcoding.ttl.out similarity index 100% rename from rdfreasoning/sdcoding/out/sdcoding.ttl.out rename to rdflingua/sdcoding/out/sdcoding.ttl.out diff --git a/rdfreasoning/sdcoding/sdcoding.ttl b/rdflingua/sdcoding/sdcoding.ttl similarity index 100% rename from rdfreasoning/sdcoding/sdcoding.ttl rename to rdflingua/sdcoding/sdcoding.ttl diff --git a/rdfreasoning/sdcoding/test b/rdflingua/sdcoding/test similarity index 100% rename from rdfreasoning/sdcoding/test rename to rdflingua/sdcoding/test diff --git a/rdfreasoning/socrates/README b/rdflingua/socrates/README similarity index 100% rename from rdfreasoning/socrates/README rename to rdflingua/socrates/README diff --git a/rdfreasoning/socrates/out/socrates.ttl.out b/rdflingua/socrates/out/socrates.ttl.out similarity index 100% rename from rdfreasoning/socrates/out/socrates.ttl.out rename to rdflingua/socrates/out/socrates.ttl.out diff --git a/rdfreasoning/socrates/socrates.ttl b/rdflingua/socrates/socrates.ttl similarity index 100% rename from rdfreasoning/socrates/socrates.ttl rename to rdflingua/socrates/socrates.ttl diff --git a/rdfreasoning/socrates/test b/rdflingua/socrates/test similarity index 100% rename from rdfreasoning/socrates/test rename to rdflingua/socrates/test diff --git a/rdfreasoning/temp/README b/rdflingua/temp/README similarity index 100% rename from rdfreasoning/temp/README rename to rdflingua/temp/README diff --git a/rdfreasoning/temp/append.ttl b/rdflingua/temp/append.ttl similarity index 100% rename from rdfreasoning/temp/append.ttl rename to rdflingua/temp/append.ttl diff --git a/rdfreasoning/temp/backward.ttl b/rdflingua/temp/backward.ttl similarity index 100% rename from rdfreasoning/temp/backward.ttl rename to rdflingua/temp/backward.ttl diff --git a/rdfreasoning/temp/forward.ttl b/rdflingua/temp/forward.ttl similarity index 100% rename from rdfreasoning/temp/forward.ttl rename to rdflingua/temp/forward.ttl diff --git a/rdfreasoning/temp/gen.ttl b/rdflingua/temp/gen.ttl similarity index 100% rename from rdfreasoning/temp/gen.ttl rename to rdflingua/temp/gen.ttl diff --git a/rdfreasoning/temp/out/append.ttl.out b/rdflingua/temp/out/append.ttl.out similarity index 100% rename from rdfreasoning/temp/out/append.ttl.out rename to rdflingua/temp/out/append.ttl.out diff --git a/rdfreasoning/temp/out/backward.ttl.out b/rdflingua/temp/out/backward.ttl.out similarity index 100% rename from rdfreasoning/temp/out/backward.ttl.out rename to rdflingua/temp/out/backward.ttl.out diff --git a/rdfreasoning/temp/out/forward.ttl.out b/rdflingua/temp/out/forward.ttl.out similarity index 100% rename from rdfreasoning/temp/out/forward.ttl.out rename to rdflingua/temp/out/forward.ttl.out diff --git a/rdfreasoning/temp/out/gen.ttl.out b/rdflingua/temp/out/gen.ttl.out similarity index 100% rename from rdfreasoning/temp/out/gen.ttl.out rename to rdflingua/temp/out/gen.ttl.out diff --git a/rdfreasoning/temp/out/sha512.ttl.out b/rdflingua/temp/out/sha512.ttl.out similarity index 100% rename from rdfreasoning/temp/out/sha512.ttl.out rename to rdflingua/temp/out/sha512.ttl.out diff --git a/rdfreasoning/temp/out/socrates-contradiction.ttl.out b/rdflingua/temp/out/socrates-contradiction.ttl.out similarity index 100% rename from rdfreasoning/temp/out/socrates-contradiction.ttl.out rename to rdflingua/temp/out/socrates-contradiction.ttl.out diff --git a/rdfreasoning/temp/out/union.ttl.out b/rdflingua/temp/out/union.ttl.out similarity index 100% rename from rdfreasoning/temp/out/union.ttl.out rename to rdflingua/temp/out/union.ttl.out diff --git a/rdfreasoning/temp/sha512.ttl b/rdflingua/temp/sha512.ttl similarity index 100% rename from rdfreasoning/temp/sha512.ttl rename to rdflingua/temp/sha512.ttl diff --git a/rdfreasoning/temp/socrates-contradiction.ttl b/rdflingua/temp/socrates-contradiction.ttl similarity index 100% rename from rdfreasoning/temp/socrates-contradiction.ttl rename to rdflingua/temp/socrates-contradiction.ttl diff --git a/rdfreasoning/temp/test b/rdflingua/temp/test similarity index 100% rename from rdfreasoning/temp/test rename to rdflingua/temp/test diff --git a/rdfreasoning/temp/union.ttl b/rdflingua/temp/union.ttl similarity index 100% rename from rdfreasoning/temp/union.ttl rename to rdflingua/temp/union.ttl diff --git a/rdfreasoning/test b/rdflingua/test similarity index 90% rename from rdfreasoning/test rename to rdflingua/test index 30af496b9..b74ecc89c 100755 --- a/rdfreasoning/test +++ b/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 b/rdflingua/turing/README similarity index 100% rename from rdfreasoning/turing/README rename to rdflingua/turing/README diff --git a/rdfreasoning/turing/out/turing.ttl.out b/rdflingua/turing/out/turing.ttl.out similarity index 100% rename from rdfreasoning/turing/out/turing.ttl.out rename to rdflingua/turing/out/turing.ttl.out diff --git a/rdfreasoning/turing/test b/rdflingua/turing/test similarity index 100% rename from rdfreasoning/turing/test rename to rdflingua/turing/test diff --git a/rdfreasoning/turing/turing.ttl b/rdflingua/turing/turing.ttl similarity index 100% rename from rdfreasoning/turing/turing.ttl rename to rdflingua/turing/turing.ttl diff --git a/rdfreasoning/universal-statements/README b/rdflingua/universal-statements/README similarity index 100% rename from rdfreasoning/universal-statements/README rename to rdflingua/universal-statements/README diff --git a/rdfreasoning/universal-statements/out/universal-statements.ttl.out b/rdflingua/universal-statements/out/universal-statements.ttl.out similarity index 100% rename from rdfreasoning/universal-statements/out/universal-statements.ttl.out rename to rdflingua/universal-statements/out/universal-statements.ttl.out diff --git a/rdfreasoning/universal-statements/test b/rdflingua/universal-statements/test similarity index 100% rename from rdfreasoning/universal-statements/test rename to rdflingua/universal-statements/test diff --git a/rdfreasoning/universal-statements/universal-statements.ttl b/rdflingua/universal-statements/universal-statements.ttl similarity index 100% rename from rdfreasoning/universal-statements/universal-statements.ttl rename to rdflingua/universal-statements/universal-statements.ttl diff --git a/rdfreasoning/unpack/README b/rdflingua/unpack/README similarity index 100% rename from rdfreasoning/unpack/README rename to rdflingua/unpack/README diff --git a/rdfreasoning/unpack/out/unpack.ttl.out b/rdflingua/unpack/out/unpack.ttl.out similarity index 100% rename from rdfreasoning/unpack/out/unpack.ttl.out rename to rdflingua/unpack/out/unpack.ttl.out diff --git a/rdfreasoning/unpack/test b/rdflingua/unpack/test similarity index 100% rename from rdfreasoning/unpack/test rename to rdflingua/unpack/test diff --git a/rdfreasoning/unpack/unpack.ttl b/rdflingua/unpack/unpack.ttl similarity index 100% rename from rdfreasoning/unpack/unpack.ttl rename to rdflingua/unpack/unpack.ttl diff --git a/rdfreasoning/witch/README b/rdflingua/witch/README similarity index 100% rename from rdfreasoning/witch/README rename to rdflingua/witch/README diff --git a/rdfreasoning/witch/out/witch.ttl.out b/rdflingua/witch/out/witch.ttl.out similarity index 100% rename from rdfreasoning/witch/out/witch.ttl.out rename to rdflingua/witch/out/witch.ttl.out diff --git a/rdfreasoning/witch/test b/rdflingua/witch/test similarity index 100% rename from rdfreasoning/witch/test rename to rdflingua/witch/test diff --git a/rdfreasoning/witch/witch.ttl b/rdflingua/witch/witch.ttl similarity index 100% rename from rdfreasoning/witch/witch.ttl rename to rdflingua/witch/witch.ttl diff --git a/test b/test index 4cd040683..997ea696f 100755 --- 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