Skip to content

Commit

Permalink
simplifying quads and rdfsurfaces
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Oct 12, 2024
1 parent 8a6ce27 commit c24a6d8
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 8 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.24.21 (2024-10-12) simplifying quads and rdfsurfaces
v10.24.20 (2024-10-11) preparing rdf12 support
v10.24.19 (2024-10-11) fixing issue with rdfsurfaces in cgs (closed graph semantics)
v10.24.18 (2024-10-10) fixing graph:statement for cgs (closed graph semantics)
Expand Down
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
10.24.20
10.24.21
9 changes: 2 additions & 7 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.24.20 (2024-10-11)').
version_info('EYE v10.24.21 (2024-10-12)').

license_info('MIT License

Expand Down Expand Up @@ -5351,10 +5351,7 @@

% quads
( quad(triple(_, _, _), _)
-> retractall(flag(quads)),
assertz(flag(quads)),

% create trig graphs
-> % create trig graphs
( graphid(G),
findall(C,
( quad(triple(S, P, O), G),
Expand Down Expand Up @@ -5628,7 +5625,6 @@
makevars([T, S], [Tu, Su], beta(U)),
C = ':-'(Tu, Su),
copy_term_nat(C, CC),
labelvars(CC, 0, _, avar),
( \+cc(CC)
-> assertz(cc(CC)),
assertz(C),
Expand Down Expand Up @@ -5663,7 +5659,6 @@
makevars([M, S], [Mu, Su], beta(U)),
C = ':-'(Mu, Su),
copy_term_nat(C, CC),
labelvars(CC, 0, _, avar),
( \+cc(CC)
-> assertz(cc(CC)),
assertz(C),
Expand Down
Binary file modified eye.zip
Binary file not shown.

0 comments on commit c24a6d8

Please sign in to comment.