Skip to content

Commit

Permalink
fixing duplicate triples for blogic
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed May 6, 2023
1 parent 121d23b commit 76da510
Show file tree
Hide file tree
Showing 4 changed files with 33 additions and 23 deletions.
1 change: 1 addition & 0 deletions RELEASE
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
EYE release

v3.22.4 (2023-05-06) fixing duplicate triples for blogic
v3.22.3 (2023-05-04) adding explicit use_module(library(uuid))
v3.22.2 (2023-05-03) fixing log:uri
v3.22.1 (2023-05-02) fixing list:iterate (obs from Ieben Smessaert)
Expand Down
2 changes: 1 addition & 1 deletion VERSION
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
3.22.3
3.22.4
53 changes: 31 additions & 22 deletions eye.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
:- catch(use_module(library(uuid)), _, true).
:- catch(use_module(library(http/http_open)), _, true).

version_info('EYE v3.22.3 (2023-05-04)').
version_info('EYE v3.22.4 (2023-05-06)').

license_info('MIT License

Expand Down Expand Up @@ -752,7 +752,8 @@
select('<http://www.w3.org/2000/10/swap/log#onPositiveSurface>'([], H), L, K),
conj_list(H, D),
append(K, D, E),
conj_list(F, E)
list_to_set(E, B),
conj_list(F, B)
), '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, F), '<>')),
% simplify graffiti
assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
Expand All @@ -770,8 +771,10 @@
assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
is_list(V),
conj_list(G, L),
select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([], H), L, K),
list_to_set(L, B),
select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([], H), B, K),
conj_list(H, M),
list_to_set(M, T),
select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(W, O), M, N),
is_list(W),
( conj_list(O, D),
Expand All @@ -788,30 +791,32 @@
assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
is_list(V),
conj_list(G, L),
\+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), L),
list_to_set(L, B),
\+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), B),
findall(1,
( member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), L)
( member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), B)
),
O
),
length(O, E),
length(L, D),
length(B, D),
memberchk(E, [0, 2, D]),
'<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(W, F),
is_list(W),
conj_list(F, K),
\+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), K),
length(K, 2),
\+ (member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, I), K), atomic(I)),
makevars(K, J, beta(W)),
list_to_set(K, N),
\+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), N),
length(N, 2),
\+ (member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, I), N), atomic(I)),
makevars(N, J, beta(W)),
select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(U, C), J, [P]),
is_list(U),
( select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(Z, Q), L, A),
( select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(Z, Q), B, A),
is_list(Z),
M = ['<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(U, C)|A],
conj_list(Q, R),
memberchk(P, R)
; select(Q, L, A),
; select(Q, B, A),
M = [P|A],
conj_list(C, R),
memberchk(Q, R)
Expand All @@ -824,7 +829,8 @@
assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
is_list(V),
conj_list(G, L),
select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(Z, H), L, K),
list_to_set(L, B),
select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(Z, H), B, K),
is_list(Z),
conj_list(R, K),
domain(V, R, P),
Expand All @@ -838,19 +844,20 @@
assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
is_list(V),
conj_list(G, L),
\+member('<http://www.w3.org/2000/10/swap/log#onPositiveSurface>'(_, _), L),
\+member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), L),
\+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), L),
select(R, L, J),
list_to_set(L, B),
\+member('<http://www.w3.org/2000/10/swap/log#onPositiveSurface>'(_, _), B),
\+member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), B),
\+member('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(_, _), B),
select(R, B, J),
conj_list(T, J),
findvars(R, N, beta),
findall(A,
( member(A, V),
\+member(A, N)
),
B
Z
),
E = '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(B, T),
E = '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(Z, T),
domain(V, R, P),
find_graffiti([R], D),
append(V, D, U),
Expand All @@ -862,7 +869,8 @@
assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
is_list(V),
conj_list(G, L),
select('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(Z, H), L, K),
list_to_set(L, B),
select('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(Z, H), B, K),
is_list(Z),
conj_list(H, [T]),
conj_list(R, K),
Expand All @@ -875,14 +883,15 @@
assertz(implies(('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(V, G),
is_list(V),
conj_list(G, L),
( select('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(Z, H), L, K),
list_to_set(L, B),
( select('<http://www.w3.org/2000/10/swap/log#onQuerySurface>'(Z, H), B, K),
is_list(Z)
-> conj_list(I, K),
find_graffiti(K, D),
append(V, D, U),
makevars(query(I, H), C, beta(U))
; djiti_answer(answer(G), J),
find_graffiti(L, D),
find_graffiti(B, D),
append(V, D, U),
makevars(implies(G, J, '<>'), C, beta(U))
),
Expand Down
Binary file modified eye.zip
View file
Binary file not shown.

0 comments on commit 76da510

Please sign in to comment.