Skip to content

Commit

Permalink
fixing lingua output to be turtle
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Dec 1, 2023
1 parent 8ec25c7 commit f2de294
Show file tree
Hide file tree
Showing 13 changed files with 222 additions and 74 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

v9.0.3 (2023-12-01) fixing lingua output to be turtle
v9.0.2 (2023-12-01) restarting lingua experiment with additional lingua:graph functor
v9.0.1 (2023-12-01) tiny fix for explicit @forAll and @forSome quantification
v9.0.0 (2023-11-30) graph term scope of blank nodes but using --no-bnode-relabeling for blogic; dropping rdflingua which did not work out
Expand Down
2 changes: 1 addition & 1 deletion VERSION
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
9.0.2
9.0.3
103 changes: 83 additions & 20 deletions eye.pl
View file
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.0.2 (2023-12-01)').
version_info('EYE v9.0.3 (2023-12-01)').

license_info('MIT License

Expand Down Expand Up @@ -649,8 +649,10 @@
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(R, '<http://www.w3.org/2000/10/swap/lingua#ForwardRule>'),
'<http://www.w3.org/2000/10/swap/lingua#vars>'(R, U),
getlist(U, V),
'<http://www.w3.org/2000/10/swap/lingua#premise>'(R, A),
'<http://www.w3.org/2000/10/swap/lingua#conclusion>'(R, B),
'<http://www.w3.org/2000/10/swap/lingua#premise>'(R, K),
getconj(K, A),
'<http://www.w3.org/2000/10/swap/lingua#conclusion>'(R, H),
getconj(H, B),
( flag(explain),
B \= false
-> conj_append(B, remember(answer('<http://www.w3.org/2000/10/swap/lingua#bindings>', R, U)), D)
Expand All @@ -663,8 +665,10 @@
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(R, '<http://www.w3.org/2000/10/swap/lingua#BackwardRule>'),
'<http://www.w3.org/2000/10/swap/lingua#vars>'(R, U),
getlist(U, V),
'<http://www.w3.org/2000/10/swap/lingua#premise>'(R, A),
'<http://www.w3.org/2000/10/swap/lingua#conclusion>'(R, B),
'<http://www.w3.org/2000/10/swap/lingua#premise>'(R, K),
getconj(K, A),
'<http://www.w3.org/2000/10/swap/lingua#conclusion>'(R, H),
getconj(H, B),
( flag(explain)
-> conj_append(A, remember(answer('<http://www.w3.org/2000/10/swap/lingua#bindings>', R, U)), D)
; D = A
Expand All @@ -683,8 +687,10 @@
'<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(R, '<http://www.w3.org/2000/10/swap/lingua#QueryRule>'),
'<http://www.w3.org/2000/10/swap/lingua#vars>'(R, U),
getlist(U, V),
'<http://www.w3.org/2000/10/swap/lingua#premise>'(R, A),
'<http://www.w3.org/2000/10/swap/lingua#conclusion>'(R, B),
'<http://www.w3.org/2000/10/swap/lingua#premise>'(R, K),
getconj(K, A),
'<http://www.w3.org/2000/10/swap/lingua#conclusion>'(R, H),
getconj(H, B),
djiti_answer(answer(B), J),
( flag(explain)
-> conj_append(A, remember(answer('<http://www.w3.org/2000/10/swap/lingua#bindings>', R, U)), D)
Expand Down Expand Up @@ -3836,7 +3842,10 @@
; wt(C)
),
ws(C),
write('.'),
( flag(lingua)
-> true
; write('.')
),
nl,
cnt(output_statements),
fail
Expand Down Expand Up @@ -4155,6 +4164,10 @@
write('("fail") '),
wp('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#derive>'),
write(' true').
wt0('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>') :-
flag(lingua),
!,
write(a).
wt0([]) :-
!,
( flag('rdf-list-output')
Expand Down Expand Up @@ -4196,7 +4209,8 @@
atom_concat(allv, Y, X),
!,
( \+flag('no-qvars'),
\+flag('pass-all-ground')
\+flag('pass-all-ground'),
\+flag(lingua)
-> write('?U_'),
write(Y)
; atomic_list_concat(['<http://eyereasoner.github.io/var#all_', Y, '>'], Z),
Expand Down Expand Up @@ -4383,10 +4397,26 @@
indentation(-4),
indent,
write(']')
; write('('),
wg(X),
wl(Y),
write(')')
; ( flag(lingua),
is_lott([X|Y])
-> write('('),
indentation(4),
forall(
member(Z, [X|Y]),
( nl,
indent,
wt(Z)
)
),
indentation(-4),
nl,
indent,
write(')')
; write('('),
wg(X),
wl(Y),
write(')')
)
).
wt2(literal(X, lang(Y))) :-
!,
Expand Down Expand Up @@ -4644,23 +4674,47 @@
-> write('"'),
writeq(X),
write('"')
; wg(S),
; ( flag(lingua),
\+nb_getval(indentation, 0)
-> write('(')
; true
),
wg(S),
write(' '),
wp(P),
write(' '),
wg(O)
wg(O),
( flag(lingua)
-> ( \+nb_getval(indentation, 0)
-> write(')')
; write('.')
)
; true
)
).

wtn(exopred(P, S, O)) :-
!,
( atom(P)
-> X =.. [P, S, O],
wt2(X)
; wg(S),
; ( flag(lingua),
\+nb_getval(indentation, 0)
-> write('(')
; true
),
wg(S),
write(' '),
wg(P),
write(' '),
wg(O)
wg(O),
( flag(lingua)
-> ( \+nb_getval(indentation, 0)
-> write(')')
; write('.')
)
; true
)
).
wtn(triple(S, P, O)) :-
!,
Expand Down Expand Up @@ -4711,7 +4765,10 @@
; F = ':-'
)
)
-> write('{'),
-> ( flag(lingua)
-> write('(')
; write('{')
),
indentation(4),
( flag(strings)
-> true
Expand All @@ -4731,12 +4788,18 @@
-> true
; ( flag('no-beautified-output')
-> true
; write('.'),
; ( flag(lingua)
-> true
; write('.')
),
nl,
indent
)
),
write('}')
( flag(lingua)
-> write(')')
; write('}')
)
; wt(X)
).

Expand Down
Binary file modified eye.zip
View file
Binary file not shown.
7 changes: 4 additions & 3 deletions lingua/acp/out/acp.ttl
View file
Original file line number Diff line number Diff line change
@@ -1,9 +1,10 @@
@prefix : <http://example.org/ns#>.
@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
@prefix var: <http://eyereasoner.github.io/var#>.

:acp_rule1 lingua:bindings (:PolicyX :test1 ?U_0 (lingua:scope 1)).
:acp_rule2 lingua:bindings (:PolicyX :test1 ?U_1 (:C) (lingua:scope 1) 1).
:acp_rule3 lingua:bindings (:PolicyX :test1 ?U_2 () (lingua:scope 1) 0).
:acp_rule1 lingua:bindings (:PolicyX :test1 var:all_0 (lingua:scope 1)).
:acp_rule2 lingua:bindings (:PolicyX :test1 var:all_1 (:C) (lingua:scope 1) 1).
:acp_rule3 lingua:bindings (:PolicyX :test1 var:all_2 () (lingua:scope 1) 0).
:acp_query lingua:bindings (:PolicyX).
:test :for :PolicyX.
:test :is true.
56 changes: 47 additions & 9 deletions lingua/gps/out/gps.ttl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,10 +10,26 @@
:gps_rule9 lingua:bindings (:i1 :Brugge).
:gps_rule10 lingua:bindings (:i1 :Brugge).
:gps_rule11 lingua:bindings (:i1 :Brugge).
:gps_rule3 lingua:bindings ((:map-BE :map-BE) ((:i1 :location :Oostende)) (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1).
:gps_rule4 lingua:bindings ((:map-BE) ((:i1 :location :Oostende)) (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1 :map-BE ((:i1 :location :Brugge)) () ((:i1 :location :Oostende)) :drive_brugge_oostende 900.0 0.004 0.98 1.0 (:map-BE :map-BE) 1 2400.0 0.01 0.9408 0.99 (:drive_gent_brugge :drive_brugge_oostende)).
:gps_rule4 lingua:bindings (() ((:i1 :location :Oostende)) () 0.0 0.0 1.0 1.0 (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1 :map-BE ((:i1 :location :Gent)) () ((:i1 :location :Brugge)) :drive_gent_brugge 1500.0 0.006 0.96 0.99 (:map-BE) 1 1500.0 0.006 0.96 0.99 (:drive_gent_brugge)).
:gps_rule2 lingua:bindings (((:i1 :location :Oostende)) (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1).
:gps_rule3 lingua:bindings ((:map-BE :map-BE) (
(:i1 :location :Oostende)
) (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1).
:gps_rule4 lingua:bindings ((:map-BE) (
(:i1 :location :Oostende)
) (:drive_gent_brugge) 1500.0 0.006 0.96 0.99 (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1 :map-BE (
(:i1 :location :Brugge)
) () (
(:i1 :location :Oostende)
) :drive_brugge_oostende 900.0 0.004 0.98 1.0 (:map-BE :map-BE) 1 2400.0 0.01 0.9408 0.99 (:drive_gent_brugge :drive_brugge_oostende)).
:gps_rule4 lingua:bindings (() (
(:i1 :location :Oostende)
) () 0.0 0.0 1.0 1.0 (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1 :map-BE (
(:i1 :location :Gent)
) () (
(:i1 :location :Brugge)
) :drive_gent_brugge 1500.0 0.006 0.96 0.99 (:map-BE) 1 1500.0 0.006 0.96 0.99 (:drive_gent_brugge)).
:gps_rule2 lingua:bindings ((
(:i1 :location :Oostende)
) (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99 5000.0 5.0 0.2 0.4 1).
:gps_query lingua:bindings (:i1 (:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99).
:i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99).
:gps_rule8 lingua:bindings (:i1 :Oostende).
Expand All @@ -25,11 +41,33 @@
:gps_rule8 lingua:bindings (:i1 :Kortrijk).
:gps_rule9 lingua:bindings (:i1 :Kortrijk).
:gps_rule10 lingua:bindings (:i1 :Kortrijk).
:gps_rule3 lingua:bindings ((:map-BE :map-BE :map-BE) ((:i1 :location :Oostende)) (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1).
:gps_rule4 lingua:bindings ((:map-BE :map-BE) ((:i1 :location :Oostende)) (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1 :map-BE ((:i1 :location :Brugge)) () ((:i1 :location :Oostende)) :drive_brugge_oostende 900.0 0.004 0.98 1.0 (:map-BE :map-BE :map-BE) 1 4100.0 0.018000000000000002 0.903168 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende)).
:gps_rule4 lingua:bindings ((:map-BE) ((:i1 :location :Oostende)) (:drive_gent_kortrijk) 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1 :map-BE ((:i1 :location :Kortrijk)) () ((:i1 :location :Brugge)) :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99 (:map-BE :map-BE) 1 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge)).
:gps_rule4 lingua:bindings (() ((:i1 :location :Oostende)) () 0.0 0.0 1.0 1.0 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1 :map-BE ((:i1 :location :Gent)) () ((:i1 :location :Kortrijk)) :drive_gent_kortrijk 1600.0 0.007 0.96 0.99 (:map-BE) 1 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk)).
:gps_rule2 lingua:bindings (((:i1 :location :Oostende)) (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1).
:gps_rule3 lingua:bindings ((:map-BE :map-BE :map-BE) (
(:i1 :location :Oostende)
) (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1).
:gps_rule4 lingua:bindings ((:map-BE :map-BE) (
(:i1 :location :Oostende)
) (:drive_gent_kortrijk :drive_kortrijk_brugge) 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1 :map-BE (
(:i1 :location :Brugge)
) () (
(:i1 :location :Oostende)
) :drive_brugge_oostende 900.0 0.004 0.98 1.0 (:map-BE :map-BE :map-BE) 1 4100.0 0.018000000000000002 0.903168 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende)).
:gps_rule4 lingua:bindings ((:map-BE) (
(:i1 :location :Oostende)
) (:drive_gent_kortrijk) 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1 :map-BE (
(:i1 :location :Kortrijk)
) () (
(:i1 :location :Brugge)
) :drive_kortrijk_brugge 1600.0 0.007 0.96 0.99 (:map-BE :map-BE) 1 3200.0 0.014 0.9216 0.9801 (:drive_gent_kortrijk :drive_kortrijk_brugge)).
:gps_rule4 lingua:bindings (() (
(:i1 :location :Oostende)
) () 0.0 0.0 1.0 1.0 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1 :map-BE (
(:i1 :location :Gent)
) () (
(:i1 :location :Kortrijk)
) :drive_gent_kortrijk 1600.0 0.007 0.96 0.99 (:map-BE) 1 1600.0 0.007 0.96 0.99 (:drive_gent_kortrijk)).
:gps_rule2 lingua:bindings ((
(:i1 :location :Oostende)
) (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801 5000.0 5.0 0.2 0.4 1).
:gps_query lingua:bindings (:i1 (:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801).
:i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801).
:gps_rule7 lingua:bindings ((:map-BE :map-BE :map-BE :map-BE) 1 :map-BE (:map-BE :map-BE :map-BE)).
Expand Down
41 changes: 21 additions & 20 deletions lingua/sdcoding/out/sdcoding.ttl
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
@prefix : <http://example.org/ns#>.
@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
@prefix var: <http://eyereasoner.github.io/var#>.

:sdcoding_rule3 lingua:bindings (:FALSE :FALSE).
:sdcoding_rule2 lingua:bindings (:FALSE :TRUE :FALSE).
Expand Down Expand Up @@ -28,29 +29,29 @@
:sdcoding_rule1 lingua:bindings (:TRUE :FALSE :FALSE).
:sdcoding_rule6 lingua:bindings (:TRUE :FALSE).
:sdcoding_rule11 lingua:bindings (0 (:FALSE :FALSE) (:FALSE :TRUE) 0 _:sk_10 _:sk_11 _:sk_12 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:FALSE :FALSE) (:TRUE :TRUE) 0 ?U_22 ?U_23 ?U_24 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:FALSE :FALSE) (:TRUE :FALSE) 0 ?U_25 ?U_26 ?U_27 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:TRUE :TRUE) (:FALSE :TRUE) 0 ?U_28 ?U_29 ?U_30 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:TRUE :TRUE) (:TRUE :TRUE) 0 ?U_31 ?U_32 ?U_33 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:TRUE :TRUE) (:TRUE :FALSE) 0 ?U_34 ?U_35 ?U_36 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:FALSE :FALSE) (:TRUE :TRUE) 0 var:all_22 var:all_23 var:all_24 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:FALSE :FALSE) (:TRUE :FALSE) 0 var:all_25 var:all_26 var:all_27 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:TRUE :TRUE) (:FALSE :TRUE) 0 var:all_28 var:all_29 var:all_30 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:TRUE :TRUE) (:TRUE :TRUE) 0 var:all_31 var:all_32 var:all_33 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (0 (:TRUE :TRUE) (:TRUE :FALSE) 0 var:all_34 var:all_35 var:all_36 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:FALSE :TRUE) (:FALSE :FALSE) 1 _:sk_13 _:sk_14 _:sk_15 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:FALSE :TRUE) (:TRUE :FALSE) 1 ?U_37 ?U_38 ?U_39 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:FALSE :TRUE) (:TRUE :TRUE) 1 ?U_40 ?U_41 ?U_42 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:TRUE :FALSE) (:FALSE :FALSE) 1 ?U_43 ?U_44 ?U_45 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:TRUE :FALSE) (:TRUE :FALSE) 1 ?U_46 ?U_47 ?U_48 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:TRUE :FALSE) (:TRUE :TRUE) 1 ?U_49 ?U_50 ?U_51 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:FALSE :TRUE) (:TRUE :FALSE) 1 var:all_37 var:all_38 var:all_39 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:FALSE :TRUE) (:TRUE :TRUE) 1 var:all_40 var:all_41 var:all_42 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:TRUE :FALSE) (:FALSE :FALSE) 1 var:all_43 var:all_44 var:all_45 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:TRUE :FALSE) (:TRUE :FALSE) 1 var:all_46 var:all_47 var:all_48 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (1 (:TRUE :FALSE) (:TRUE :TRUE) 1 var:all_49 var:all_50 var:all_51 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:FALSE :FALSE) (:FALSE :TRUE) 2 _:sk_16 _:sk_17 _:sk_18 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:FALSE :FALSE) (:TRUE :FALSE) 2 ?U_52 ?U_53 ?U_54 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :FALSE) (:FALSE :TRUE) 2 ?U_55 ?U_56 ?U_57 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :FALSE) (:TRUE :FALSE) 2 ?U_58 ?U_59 ?U_60 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :TRUE) (:FALSE :TRUE) 2 ?U_61 ?U_62 ?U_63 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :TRUE) (:TRUE :FALSE) 2 ?U_64 ?U_65 ?U_66 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:FALSE :FALSE) (:TRUE :FALSE) 2 var:all_52 var:all_53 var:all_54 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :FALSE) (:FALSE :TRUE) 2 var:all_55 var:all_56 var:all_57 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :FALSE) (:TRUE :FALSE) 2 var:all_58 var:all_59 var:all_60 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :TRUE) (:FALSE :TRUE) 2 var:all_61 var:all_62 var:all_63 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (2 (:TRUE :TRUE) (:TRUE :FALSE) 2 var:all_64 var:all_65 var:all_66 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:FALSE :FALSE) (:FALSE :FALSE) 3 _:sk_19 _:sk_20 _:sk_21 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:FALSE :FALSE) (:TRUE :TRUE) 3 ?U_67 ?U_68 ?U_69 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:FALSE :TRUE) (:FALSE :FALSE) 3 ?U_70 ?U_71 ?U_72 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:FALSE :TRUE) (:TRUE :TRUE) 3 ?U_73 ?U_74 ?U_75 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:TRUE :FALSE) (:FALSE :FALSE) 3 ?U_76 ?U_77 ?U_78 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:TRUE :FALSE) (:TRUE :TRUE) 3 ?U_79 ?U_80 ?U_81 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:FALSE :FALSE) (:TRUE :TRUE) 3 var:all_67 var:all_68 var:all_69 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:FALSE :TRUE) (:FALSE :FALSE) 3 var:all_70 var:all_71 var:all_72 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:FALSE :TRUE) (:TRUE :TRUE) 3 var:all_73 var:all_74 var:all_75 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:TRUE :FALSE) (:FALSE :FALSE) 3 var:all_76 var:all_77 var:all_78 (1) (lingua:scope 1) 1).
:sdcoding_rule11 lingua:bindings (3 (:TRUE :FALSE) (:TRUE :TRUE) 3 var:all_79 var:all_80 var:all_81 (1) (lingua:scope 1) 1).
:sdcoding_query lingua:bindings (0 0).
() :sdcoding (0 0).
:sdcoding_query lingua:bindings (1 1).
Expand Down
30 changes: 28 additions & 2 deletions lingua/temp/out/append.ttl
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,31 @@
@prefix : <http://example.org/ns#>.
@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.

:append_query lingua:bindings (((:A :B :C) (:A :X :C) (:D :E :F)) ((:A :Y :C) (:A :B :C)) ((:A :B :C) (:A :X :C) (:D :E :F) (:A :Y :C) (:A :B :C))).
(((:A :B :C) (:A :X :C) (:D :E :F)) ((:A :Y :C) (:A :B :C))) :append ((:A :B :C) (:A :X :C) (:D :E :F) (:A :Y :C) (:A :B :C)).
:append_query lingua:bindings ((
(:A :B :C)
(:A :X :C)
(:D :E :F)
) (
(:A :Y :C)
(:A :B :C)
) (
(:A :B :C)
(:A :X :C)
(:D :E :F)
(:A :Y :C)
(:A :B :C)
)).
((
(:A :B :C)
(:A :X :C)
(:D :E :F)
) (
(:A :Y :C)
(:A :B :C)
)) :append (
(:A :B :C)
(:A :X :C)
(:D :E :F)
(:A :Y :C)
(:A :B :C)
).
8 changes: 4 additions & 4 deletions lingua/temp/out/socrates-contradiction.ttl.txt
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
** ERROR ** eam ** inference_fuse({
:Socrates a :Mortal.
:Socrates a :Immortal.
} => false)
** ERROR ** eam ** inference_fuse((
(:Socrates a :Mortal).
(:Socrates a :Immortal)
) => false)
Loading

0 comments on commit f2de294

Please sign in to comment.