Commit bc839495 authored by josd's avatar josd

updating reasoning to always use PREFIX instead of @prefix

parent f9d855b5
EYE release
[v18.1130.1238] updating reasoning to always use PREFIX instead of @prefix
[v18.1123.1028] removed libgmp dependency
[v18.0515.2100] making it run with SWI-Prolog 7.7.14
[v18.0417.2132] supporting abbreviated URIs when the namespace prefix ends with '/' (obs from Sander Vanden Hautte)
......
EYE v18.1123.1028 josd
EYE v18.1130.1238 josd
......@@ -4,17 +4,17 @@
### http://www.w3.org/2000/10/swap/doc/CwmBuiltins
### http://www.w3.org/TR/rif-dtb/
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix string: <http://www.w3.org/2000/10/swap/string#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix func: <http://www.w3.org/2007/rif-builtin-function#>.
@prefix pred: <http://www.w3.org/2007/rif-builtin-predicate#>.
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX fn: <http://www.w3.org/2006/xpath-functions#>
PREFIX crypto: <http://www.w3.org/2000/10/swap/crypto#>
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX string: <http://www.w3.org/2000/10/swap/string#>
PREFIX time: <http://www.w3.org/2000/10/swap/time#>
PREFIX func: <http://www.w3.org/2007/rif-builtin-function#>
PREFIX pred: <http://www.w3.org/2007/rif-builtin-predicate#>
### Logic Framework Extension Built-ins
......
......@@ -36,7 +36,7 @@
:- set_prolog_flag(encoding, utf8).
:- endif.
version_info('EYE v18.1123.1028 josd').
version_info('EYE v18.1130.1238 josd').
license_info('MIT License
......
No preview for this file type
### Logic Framework Extension -- Jos De Roo
### importing http://www.w3.org/2000/10/swap/log
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
<> owl:imports <http://www.w3.org/2000/10/swap/log>.
......
......@@ -2,13 +2,10 @@
((!$#)) && echo Missing release message! && exit 1
export RELEASE="v$(date -u +"%y.%m%d.%H%M")"
pushd ~/github.com/josd/eye
if ! cmp /opt/eye/src/eye.prolog eye.prolog >/dev/null 2>&1
then
cat /opt/eye/src/eye.prolog | sed -e "s/EYE.*josd/EYE $RELEASE josd/" > eye.prolog
sed -i '3 i\['"$RELEASE"'] '"$1"'' RELEASE
swipl -q -f eye.prolog -g main -- --version 2>&1 | grep josd > VERSION
sudo ./install.sh
fi
cat /opt/eye/src/eye.prolog | sed -e "s/EYE.*josd/EYE $RELEASE josd/" > eye.prolog
sed -i '3 i\['"$RELEASE"'] '"$1"'' RELEASE
swipl -q -f eye.prolog -g main -- --version 2>&1 | grep josd > VERSION
sudo ./install.sh
mkdir -p /tmp/eye
rsync -azv eye.prolog eye.sh eye.cmd install.sh install.cmd INSTALL LICENSE RELEASE README.md VERSION /tmp/eye
pushd /tmp
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment