renaming to wepl (webized prolog)

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v11.2.8 (2025-01-02) renaming to wepl (webized prolog)
 v11.2.7 (2025-01-02) updating to 'Copyright 2006-2025 Jos De Roo, KNoWS office of IDLab, Ghent University - imec'
 v11.2.6 (2025-01-01) updating to 2006-2025
 v11.2.5 (2024-12-30) adding proof steps for inference fuse

VERSION

@@ -1 +1 @@
-11.2.7
+11.2.8

eye.pl

@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v11.2.7 (2025-01-02)').
+version_info('EYE v11.2.8 (2025-01-02)').
 
 license_info('MIT License
 
@@ -63,7 +63,6 @@
     --image <pvm-file>              output all <data> and all code to <pvm-file>
     --intermediate <n3p-file>       output all <data> to <n3p-file>
     --license                       show license info
-    --logic-program <pl-file>       run logic program <pl-file>
     --max-inferences <nr>           halt after maximum number of inferences
     --no-distinct-input             no distinct triples in the input
     --no-distinct-output            no distinct answers in the output
@@ -90,6 +89,7 @@
     --version                       show version info
     --warn                          output warning info on stderr
     --wcache <uri> <file>           to tell that <uri> is cached as <file>
+    --wepl <pl-file>                run <pl-file>
 <data>
     [--n3] <uri>                    N3 triples and rules
     --n3p <uri>                     N3P intermediate
@@ -696,28 +696,6 @@
     format(user_error, '~w~n', [License]),
     flush_output(user_error),
     throw(halt(0)).
-opts(['--logic-program', File|_], _) :-
-    consult(File),
-    nb_setval(closure, 0),
-    nb_setval(limit, -1),
-    nb_setval(fm, 0),
-    nb_setval(mf, 0),
-    (   (_ :+ _)
-    ->  format(":- op(1200, xfx, :+).~n~n", [])
-    ;   version_info(Version),
-        format("~w~n", [Version])
-    ),
-    forall(
-        (   (Conc :+ _),
-            Conc \= true,
-            Conc \= false
-        ),
-        (   functor(Conc, P, A),
-            dynamic(P/A)
-        )
-    ),
-    eam2,
-    throw(halt(0)).
 opts(['--max-inferences', Lim|Argus], Args) :-
     !,
     (   number(Lim)
@@ -887,6 +865,28 @@
     retractall(wcache(Arg, _)),
     assertz(wcache(Arg, File)),
     opts(Argus, Args).
+opts(['--wepl', File|_], _) :-
+    consult(File),
+    nb_setval(closure, 0),
+    nb_setval(limit, -1),
+    nb_setval(fm, 0),
+    nb_setval(mf, 0),
+    (   (_ :+ _)
+    ->  format(":- op(1200, xfx, :+).~n~n", [])
+    ;   version_info(Version),
+        format("~w~n", [Version])
+    ),
+    forall(
+        (   (Conc :+ _),
+            Conc \= true,
+            Conc \= false
+        ),
+        (   functor(Conc, P, A),
+            dynamic(P/A)
+        )
+    ),
+    eam2,
+    throw(halt(0)).
 opts([Arg|_], _) :-
     \+memberchk(Arg, ['--entail', '--help', '--n3', '--n3p', '--not-entail', '--pass', '--pass-all', '--proof', '--query', '--trig', '--turtle']),
     sub_atom(Arg, 0, 2, _, '--'),

eye2

@@ -5,4 +5,4 @@ if [ $# -lt 1 ] ; then
   exit 1
 fi
 
-eye --quiet --logic-program "$@"
+eye --quiet --wepl "$@"

test

@@ -4,6 +4,6 @@ pushd ~/github.com/eyereasoner/eye/reasoning > /dev/null
 popd > /dev/null
 echo ""
 
-pushd ~/github.com/eyereasoner/eye/logic-programs > /dev/null
+pushd ~/github.com/eyereasoner/eye/wepl > /dev/null
 ./test
 popd > /dev/null

logic-programs/README.md → wepl/README.md

@@ -1,6 +1,6 @@
-# Logic programs
+# Webized Prolog
 
-- Using webized prolog which basically means that atoms can be IRIs.
+- Webized Prolog basically means that atoms can be IRIs.
 - Besides top-down reasoning with `conclusion :- premise` rules, it also does bottom-up reasoning with `conclusion :+ premise` rules.
 - Bottum-up reasoning can use `stable(n)` to fail if the deductive closure at level `n` is not yet stable.
 - Proofs steps are `step((conclusion :+ premise), premise_inst, conclusion_inst)` and `conclusion_inst` is asserted.

logic-programs/test → wepl/test

@@ -8,11 +8,11 @@ NORMAL="\e[0;39m"
 OK=0
 FAILED=0
 
-echo -e "${YELLOW}--------------------------${NORMAL}"
-echo -e "${YELLOW}Running eye logic programs${NORMAL}"
+echo -e "${YELLOW}----------------${NORMAL}"
+echo -e "${YELLOW}Running eye wepl${NORMAL}"
 echo -e "${YELLOW}eye v$(eye --version 2>&1 | grep EYE | awk '{ print substr($2,2) }')${NORMAL}"
 echo -e "${YELLOW}swipl v$(swipl --version 2>&1 | awk '{ print $3 }')${NORMAL}"
-echo -e "${YELLOW}--------------------------${NORMAL}"
+echo -e "${YELLOW}----------------${NORMAL}"
 echo ""
 
 pad () {
@@ -26,7 +26,7 @@ for file in *.pl
 do
     echo -en "$(pad "${file}" -26)"
     start=$(($(date +%s%N)/1000000))
-    eye --quiet --logic-program "${file}" > output/${file}
+    eye --quiet --wepl "${file}" > output/${file}
     end=$(($(date +%s%N)/1000000))
     echo -en "${YELLOW}$(pad "`expr $end - $start` msec" 12)${NORMAL} "
     if [[ $(git diff output/${file} | wc -l) -eq 0 ]]; then