dealing with dynamic/1

VERSION

@@ -1 +1 @@
-5.5.2
+5.5.3

retin3s

@@ -1,6 +1,6 @@
 #!/bin/bash
-export prolog=${prolog:=tpl}
-export retina=$(dirname "$(readlink -f "$0")")/retina.pl
+export PROLOG=${PROLOG:=tpl}
+export RETINA=$(dirname "$(readlink -f "$0")")/retina.pl
 
 if [ "$1" == "" ]; then
     echo "usage: $0 file"
@@ -11,7 +11,7 @@ TMPDIR=$(mktemp -d)
 
 eye --nope --quiet --no-bnode-relabeling --ignore-inference-fuse $1 --intermediate ${TMPDIR}/program.n3p
 
-$prolog -g run $retina ${TMPDIR}/program.n3p > ${TMPDIR}/result.pl
+${PROLOG} -g run ${RETINA} ${TMPDIR}/program.n3p > ${TMPDIR}/result.pl
 
 eye --nope --quiet --pass --n3p ${TMPDIR}/result.pl 2> /dev/null
 

retina

@@ -1,5 +1,5 @@
 #!/bin/bash
-export prolog=${prolog:=tpl}
-export retina=$(dirname "$(readlink -f "$0")")/retina.pl
+export PROLOG=${PROLOG:=tpl}
+export RETINA=$(dirname "$(readlink -f "$0")")/retina.pl
 
-$prolog -g run $retina "$@"
+${PROLOG} -g run ${RETINA} "$@"

retina.pl

@@ -21,12 +21,11 @@
 :- dynamic(recursion/1).
 :- dynamic(skolem/2).
 :- dynamic(uuid/2).
-:- dynamic('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/log#onNegativeComponentSurface>'/2).
 :- dynamic('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'/2).
 
-version_info('retina v5.5.2 (2024-07-02)').
+version_info('retina v5.5.3 (2024-07-03)').
 
 % run
 run :-

test

@@ -13,8 +13,8 @@ echo -e "${YELLOW}Running retina/test${NORMAL}"
 echo -e "${YELLOW}-------------------${NORMAL}"
 echo ""
 
-export prolog="${1:-tpl}"
-export retina=`pwd`/retina.pl
+export PROLOG="${1:-tpl}"
+export RETINA=`pwd`/retina.pl
 
 pad () {
     [ "$#" -gt 1 ]