Skip to content

Commit

Permalink
dropping log:answer
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Jan 4, 2024
1 parent 0681b8d commit 35baef3
Show file tree
Hide file tree
Showing 5 changed files with 3 additions and 37 deletions.
1 change: 1 addition & 0 deletions RELEASE
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
EYE release

v9.2.1 (2024-01-04) dropping log:answer
v9.2.0 (2024-01-04) using negation predicates instead of blogic
v9.1.5 (2023-12-24) proving derived rules using the reason ontology
v9.1.4 (2023-12-22) using blogic instead of lingua
Expand Down
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
9.2.0
9.2.1
1 change: 0 additions & 1 deletion eye-builtins.n3
Original file line number Diff line number Diff line change
Expand Up @@ -129,7 +129,6 @@ list:unique a e:Builtin.

### Logic Framework Built-ins

log:answer a e:Builtin.
log:becomes a e:Builtin.
log:bound a e:Builtin.
log:call a e:Builtin.
Expand Down
36 changes: 1 addition & 35 deletions eye.pl
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
:- use_module(library(pcre)).
:- catch(use_module(library(http/http_open)), _, true).

version_info('EYE v9.2.0 (2024-01-04)').
version_info('EYE v9.2.1 (2024-01-04)').

license_info('MIT License

Expand Down Expand Up @@ -1504,40 +1504,6 @@
conj_list(Y, X),
write(query(\+Y, true)),
writeln('.').
tr_n3p(['\'<http://www.w3.org/2000/10/swap/log#answer>\''(X, Y)|Z], Src, Mode) :-
!,
( Y = '\'<http://eulersharp.sourceforge.net/2003/03swap/log-rules#csvTuple>\''(L, T)
-> ( is_list(T)
-> H = T
; findvars(X, U, epsilon),
distinct(U, H)
),
nb_setval(csv_header, H),
( is_list(L)
-> findall(F,
( member(literal(E, _), L),
sub_atom(E, 1, _, 1, F)
),
Q
)
; Q = H
),
nb_setval(csv_header_strings, Q),
V = '\'<http://eulersharp.sourceforge.net/2003/03swap/log-rules#csvTuple>\''(_, H)
; V = Y
),
( \+flag('limited-answer', _),
flag(nope),
( flag('no-distinct-output')
; V = '\'<http://eulersharp.sourceforge.net/2003/03swap/log-rules#csvTuple>\''(_, _)
)
-> write(query(X, V)),
writeln('.')
; djiti_answer(answer(V), A),
write(implies(X, A, Src)),
writeln('.')
),
tr_n3p(Z, Src, Mode).
tr_n3p(['\'<http://www.w3.org/2000/10/swap/log#implies>\''(X, Y)|Z], Src, query) :-
!,
( Y = '\'<http://eulersharp.sourceforge.net/2003/03swap/log-rules#csvTuple>\''(L, T)
Expand Down
Binary file modified eye.zip
Binary file not shown.

0 comments on commit 35baef3

Please sign in to comment.