Skip to content

Commit

Permalink
using proofpackets instead of reasongraphs
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Nov 3, 2024
1 parent 6c8e31a commit 764d4a1
Show file tree
Hide file tree
Showing 5 changed files with 5 additions and 4 deletions.
1 change: 1 addition & 0 deletions RELEASE
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
EYE release

v10.28.8 (2024-11-03) using proofpackets instead of reasongraphs
v10.28.7 (2024-11-02) using reasongraphs instead of rdfproof
v10.28.6 (2024-10-31) fixing --rdf-trig-output (no duplicated output)
v10.28.5 (2024-10-30) having _:bng_i blank node graph labels
Expand Down
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
10.28.7
10.28.8
4 changes: 2 additions & 2 deletions eye.pl
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
:- catch(use_module(library(process)), _, true).
:- catch(use_module(library(http/http_open)), _, true).

version_info('EYE v10.28.7 (2024-11-02)').
version_info('EYE v10.28.8 (2024-11-03)').

license_info('MIT License

Expand Down Expand Up @@ -3648,7 +3648,7 @@
( answer('<http://www.w3.org/2000/10/swap/log#proves>', _, _)
-> nl,
writeln('#'),
writeln('# reasongraphs'),
writeln('# proofpackets'),
writeln('#'),
nl,
( answer('<http://www.w3.org/2000/10/swap/log#proves>', S, O),
Expand Down
Binary file modified eye.zip
Binary file not shown.
2 changes: 1 addition & 1 deletion reasoning/test
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ version=$(eye --version 2>&1 | grep EYE | awk '{ print $2 }')

echo -e "${YELLOW}---------------------${NORMAL}"
echo -e "${YELLOW}Running eye reasoning${NORMAL}"
echo -e "${YELLOW}eye $version${NORMAL}"
echo -e "${YELLOW}Using eye $version${NORMAL}"
echo -e "${YELLOW}---------------------${NORMAL}"
echo ""

Expand Down

0 comments on commit 764d4a1

Please sign in to comment.