/
RELEASE
2763 lines (2587 loc) · 161 KB
/
RELEASE
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
EYE release
v10.7.2 (2024-05-06) back to log:query and using premise log:clause set_of_possible_conclusions
v10.7.1 (2024-05-06) having =>> as syntactic sugar for log:query
v10.7.0 (2024-05-03) moving lingua and risc to branch lingua
v10.6.0 (2024-05-02) adding risc as a matter of rules implying a set of possible conclusions
v10.5.9 (2024-05-01) fixing issue https://github.com/eyereasoner/eye/issues/108
v10.5.8 (2024-04-30) translating rdfsurfaces predicates
v10.5.7 (2024-04-30) translating rdfsurfaces predicates
v10.5.6 (2024-04-29) fixing getterm/2
v10.5.5 (2024-04-29) using single log:nand predicate and trig sysntax for rdfsurfaces
v10.5.4 (2024-04-28) simplifying NPN surfaces
v10.5.3 (2024-04-26) fixing NPN surfaces and no neutral surface
v10.5.2 (2024-04-25) fixing inference fuse and proof output
v10.5.1 (2024-04-24) improving NPN surfaces
v10.5.0 (2024-04-24) initial implementation of npnsurfaces
v10.4.0 (2024-04-22) correcting illegality of multiple reification” (obs from Enrico Franconi)
v10.3.0 (2024-04-22) implementing rdf:reifies
v10.2.25 (2024-04-22) extending rdf-star annotations
v10.2.24 (2024-04-20) fixing log:shell
v10.2.23 (2024-04-19) fixing --pass for lingua
v10.2.22 (2024-04-19) fixing triple term <<( s p o )>> tokenizing and parsing
v10.2.21 (2024-04-19) adding triple term and edge support
v10.2.20 (2024-04-18) adding term_cannot_contain_itself/2 exception for lingua
v10.2.19 (2024-04-16) fixing issue https://github.com/eyereasoner/eye/issues/103
v10.2.18 (2024-04-15) lingua now also works without --trig option
v10.2.17 (2024-04-15) adding co-routining to log:parsedAsN3
v10.2.16 (2024-04-14) trig is parsed to produce quad/2
v10.2.15 (2024-04-14) fixing default empty namespace prefix
v10.2.14 (2024-04-14) fixing log:ask for native eye
v10.2.13 (2024-04-12) fixing https://github.com/eyereasoner/eye/issues/107
v10.2.12 (2024-04-12) using log:nano (not another) for rdfsurfaces
v10.2.11 (2024-04-11) fixing edge(bn, triple) internal representation for rdf star
v10.2.10 (2024-04-11) switching to edge(bn, triple) internal representation for rdf star
v10.2.9 (2024-04-11) fixing proof for lingua and rdfsurfaces
v10.2.8 (2024-04-11) simplifying log:ask
v10.2.7 (2024-04-10) command line arg --trig is now triggering lingua
v10.2.6 (2024-04-10) fixing log:ask by Jesse Wright
v10.2.5 (2024-04-10) fixing log:ask tu use read/1
v10.2.4 (2024-04-09) using https://eyereasoner.github.io instead of http://eyereasoner.github.io
v10.2.3 (2024-04-09) adding experimental log:ask and fixing rdfsurfaces
v10.2.2 (2024-04-08) simplifying lingua by reusing log:implies
v10.2.1 (2024-04-08) simplifying lingua by reusing log:isImpliedBy and log:query
v10.2.0 (2024-04-08) simply adding the 3 former lingua: predicates to the log: namespace
v10.1.4 (2024-04-08) fixing log:shell with explicit catch(use_module(library(process)), _, true)
v10.1.3 (2024-04-08) fixing log:shell with explicit use_module(library(process))
v10.1.2 (2024-04-08) adding experimental log:shell built-in
v10.1.1 (2024-04-06) fixing lingua output
v10.1.0 (2024-04-06) adding lingua support in the eye reasoner
v10.0.5 (2024-03-30) rdfsurfaces query is a log:nand containing a log:nans
v10.0.4 (2024-03-29) fixing positive surfaces
v10.0.3 (2024-03-29) fixing inference fuse ignition
v10.0.2 (2024-03-29) fixing negative surfaces to backward rules
v10.0.1 (2024-03-29) fixing --pass-all and --pass-all-ground
v10.0.0 (2024-03-28) supporting RDF Surfaces, RDF N-Quads and RDF TriG with global scope for blank nodes
v9.11.4 (2024-03-04) adding log:query built-in and tested with (un)named graphs
v9.11.3 (2024-03-03) lingua is now branch https://github.com/eyereasoner/eye/tree/lingua
v9.11.1 (2024-03-03) running lingua with --trig <uri> to load TriG data
v9.11.0 (2024-03-02) running with https://github.com/SWI-Prolog/swipl-devel/issues/1239 fixed
v9.10.5 (2024-02-28) fixing rdf:first and rdf:rest built-ins (obs from Doerthe Arndt)
v9.10.4 (2024-02-28) fixing rdf lists in named graphs for lingua
v9.10.3 (2024-02-28) adding coroutining to rdf:first and rdf:rest built-ins
v9.10.2 (2024-02-27) putting back rdf:first and rdf:rest as built-ins
v9.10.1 (2024-02-27) dropping rdf:first and rdf:rest as built-ins (obs from Patrick Hochstenbach)
v9.10.0 (2024-02-27) using blank node graph names for lingua
v9.9.17 (2024-02-27) fixing rdf:rest built-in (obs from Patrick Hochstenbach)
v9.9.16 (2024-02-27) using term: namespace to mint graph terms for lingua
v9.9.15 (2024-02-26) fixing output of lists (obs from Patrick Hochstenbach)
v9.9.14 (2024-02-26) further fixing log:closedBy and named graph merge for lingua
v9.9.13 (2024-02-26) further fixing named graph merge for lingua
v9.9.12 (2024-02-26) fixing named graph merge for lingua
v9.9.11 (2024-02-26) fixing log:closedBy and improving lingua proofs
v9.9.10 (2024-02-25) removing log:closedBy as it was wrongly implemented
v9.9.9 (2024-02-24) fixing --pass-merged for n4
v9.9.8 (2024-02-24) simplifying --pass-merged
v9.9.7 (2024-02-24) adding --pass-merged to output merged data without deductive closure
v9.9.6 (2024-02-23) log:closedBy is only needed for lingua:premise, lingua:body and lingua:question
v9.9.5 (2024-02-23) converting named graphs into quads for N3
v9.9.4 (2024-02-21) see/0 supporting RDF Lingua
v9.9.3 (2024-02-21) dropping lingua:graph
v9.9.2 (2024-02-16) adding strict check boundary for lingua:premise and co
v9.9.1 (2024-02-15) using log:closedBy instead of log:closedIn
v9.9.0 (2024-02-15) lingua with log:closedIn based boundary_violaton detection
v9.8.2 (2024-02-14) supporting surfaces implementation in n3 (see reasoning/surfaces)
v9.8.1 (2024-02-13) creating lingua branch and keeping rdf11 support in master
v9.7.12 (2024-02-12) fixing output of blank nodes and var:'s for lingua
v9.7.11 (2024-02-12) fixing output of blank nodes for lingua
v9.7.10 (2024-02-10) fixing lingua so that lingua/pack.trig runs fine
v9.7.9 (2024-02-10) fixing lingua so that https://github.com/eyereasoner/Notation3-By-Example/tree/main/lingua/graph runs with correct lingua:bindings
v9.7.8 (2024-02-10) fixing lingua so that https://github.com/eyereasoner/Notation3-By-Example/tree/main/lingua/graph now runs
v9.7.7 (2024-02-10) fixing string:join per issue https://github.com/eyereasoner/eye/issues/102
v9.7.6 (2024-02-10) fixing TriG output
v9.7.5 (2024-02-09) fixing inference fuse mechanism for lingua
v9.7.4 (2024-02-09) fixing repeated named graphs
v9.7.3 (2024-02-08) fixing lingua detection
v9.7.2 (2024-02-08) supporting n-quads for lingua
v9.7.1 (2024-02-06) using lingua:head and lingua:body to describe backward rules
v9.7.0 (2024-02-06) fixing lingua compilation
v9.6.14 (2024-02-02) correcting lingua:bindings as in lingua/proof/derived.trig
v9.6.13 (2024-02-02) further fixing lingua output to be TriG
v9.6.12 (2024-02-02) fixing lingua output to be TriG
v9.6.11 (2024-02-01) simplifying lingua implementation and running gps example
v9.6.10 (2024-01-31) dropping same_graph_name_for_multiple_graphs/2 exception in lingua and taking the graph union for graph statements with the same name
v9.6.9 (2024-01-31) improving parser to support https://www.w3.org/TR/trig/#sec-graph-statements
v9.6.8 (2024-01-31) implementing same_graph_name_for_multiple_graphs/2 exception in lingua
v9.6.7 (2024-01-31) fixing trig implementation
v9.6.6 (2024-01-30) having lingua:Query, lingua:question and optional lingua:answer
v9.6.5 (2024-01-28) passing lingua with 'riot lingua/**/*.trig'
v9.6.4 (2024-01-27) dropping GRAPH keyword for lingua
v9.6.3 (2024-01-27) global scope of blank nodes in lingua and using them as graph names
v9.6.2 (2024-01-26) making built-ins working in lingua
v9.6.1 (2024-01-26) automatic lingua detection
v9.6.0 (2024-01-26) RDF 1.1 Lingua
v9.5.0 (2024-01-24) refreshing eye core and having lingua branch
v9.4.12 (2024-01-24) interpreting lists with first lingua:graphTerm and rest list of triples as graph terms in lingua
v9.4.11 (2024-01-24) adding graph:equalTo and graph:notEqualTo built-ins
v9.4.10 (2024-01-20) output 'rdf:type' instead of 'a' in lists
v9.4.9 (2024-01-20) fixing lingua proof explanation
v9.4.8 (2024-01-20) fixing lingua proof explanation and just using list of triple trios
v9.4.7 (2024-01-19) moving back to the original rdf star implementation
v9.4.6 (2024-01-19) using [ lingua:conjunction list of triple trios] instead of list of triple trios
v9.4.5 (2024-01-18) using list of triple trios in lingua
v9.4.4 (2024-01-17) taking back experimental parsing of n-quads
v9.4.3 (2024-01-16) fixing lingua detection
v9.4.2 (2024-01-15) adding lingua ackermann example but leaving out (4 2) because the proof is 2.5 GB
v9.4.1 (2024-01-12) interpreting lists with head lingua:conjunction as graph terms in lingua
v9.4.0 (2024-01-11) refreshing RDF Lingua
v9.3.1 (2024-01-08) using occurencename//1 in the grammar
v9.3.0 (2024-01-07) implementing rdf1.2 edges
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
v9.1.3 (2023-12-22) running blogic without --no-bnode-relabeling
v9.1.2 (2023-12-21) global scope for blank nodes in triple terms
v9.1.1 (2023-12-20) using single var: namespace
v9.1.0 (2023-12-15) adding lingua proof explanations
v9.0.18 (2023-12-15) reimplementing log:answer
v9.0.17 (2023-12-15) adding log:answer to support queries like in https://github.com/eyereasoner/eye/blob/master/reasoning/socrates/socrates.n3
v9.0.16 (2023-12-14) fixing lingua for 4color case
v9.0.15 (2023-12-14) lingua with skolem iri var: namespace
v9.0.14 (2023-12-12) adding log:copy built-in
v9.0.13 (2023-12-12) using lingua variables in the var: namespace
v9.0.12 (2023-12-12) reverting lingua
v9.0.11 (2023-12-11) for isomorphic rules use the rule with the least blank nodes
v9.0.10 (2023-12-11) using lingua:varCount to make rules safe
v9.0.9 (2023-12-08) adding experimental log:callNotBind built-in
v9.0.8 (2023-12-06) using linear lists for surfaces
v9.0.7 (2023-12-06) using linear lists for lingua
v9.0.6 (2023-12-03) detecting malformed rdf lists and dropping --rdf-list-input option
v9.0.5 (2023-12-02) doing lingua without lingua:graph functor and backward rules were the culprit
v9.0.4 (2023-12-02) using lingua:graph in the lingua output
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
v8.7.5 (2023-11-29) fixing issue https://github.com/eyereasoner/eye/issues/101
v8.7.4 (2023-11-28) using rule:scope for built-ins using within_scope/1
v8.7.3 (2023-11-27) fixing rdflingua for rdf lists in lists-of-three-tuples
v8.7.2 (2023-11-27) using rule:vars and rule:bindings for rdflingua
v8.7.1 (2023-11-26) improving rule:binding ad rdflingua proof explanation
v8.7.0 (2023-11-26) introducing rule:binding as rdflingua proof
v8.6.23 (2023-11-26) using rule:graffiti instead of rule:vars in rdflingua
v8.6.22 (2023-11-26) adding experimental @graffiti keyword to impose local scope of blank nodes in graph terms
v8.6.21 (2023-11-25) renaming rdfreasoning to rdflingua
v8.6.20 (2023-11-24) fixing euler abstract machine for rdfreasoning
v8.6.19 (2023-11-24) using explicit rule:vars in rdfreasoning
v8.6.18 (2023-11-23) using log:negativeTriple as backward chaining hint
v8.6.17 (2023-11-22) expressing blogic in RDF and running with rdfreasoning
v8.6.16 (2023-11-21) fixing rdfreasoning for variable conclusions
v8.6.15 (2023-11-20) taking out sequents in blogic and checking if list-of-3-tuples are unambigous for all built-ins used in rdfreasoning
v8.6.14 (2023-11-20) renaming recent work to rdfreasoning
v8.6.13 (2023-11-18) beautifying output for looking-through-rdf-glasses
v8.6.12 (2023-11-17) supporting shorthand 'a' in 3-tuples
v8.6.11 (2023-11-17) further fixing output for looking-through-rdf-glasses
v8.6.10 (2023-11-16) fixing output for looking-through-rdf-glasses
v8.6.9 (2023-11-16) rdflegacy is now rdflanguage and --legacy is not needed anymore
v8.6.8 (2023-11-15) using qnames in the output of urn: uris
v8.6.7 (2023-11-14) further fixing graph: and log: built-ins to deal with rdflegacy
v8.6.6 (2023-11-14) fixing graph: and log: built-ins to deal with rdflegacy
v8.6.5 (2023-11-13) running sdcoding example in rdflegacy
v8.6.4 (2023-11-13) running gps example in rdflegacy
v8.6.3 (2023-11-11) automatic interpretation of variables for rdflegacy
v8.6.2 (2023-11-11) using lists of 3-tuples in rdflegacy
v8.6.1 (2023-11-11) running rdflegacy fibonacci example
v8.6.0 (2023-11-10) adding --legacy to support RDF legacy and dropping sequents
v8.5.0 (2023-11-08) adding --relabel-blank-nodes to explicitly relabel blank nodes in triple or graph terms
v8.4.1 (2023-11-07) moving logic3 and running test manifests
v8.4.0 (2023-11-05) adding '($ $) <= query' to logic3
v8.3.1 (2023-11-04) fixing log:parsedAsN3 built-in (obs from Patrick Hochstenbach)
v8.3.0 (2023-11-04) experimental https://github.com/eyereasoner/eye/tree/master/logic3
v8.2.3 (2023-11-03) fixing contrapositive for lines
v8.2.2 (2023-11-03) using more space to write triple terms
v8.2.1 (2023-11-02) fixing log:implies built-in for lines
v8.2.0 (2023-11-02) experimental Logic with Infinite fact boxes, NEgation and Sets of possible conclusions - LINES
v8.1.0 (2023-11-01) supporting both _:label and skolem:name graffiti for blogic
v8.0.5 (2023-11-01) fixing issue https://github.com/eyereasoner/eye/issues/98
v8.0.4 (2023-11-01) fixing @forSome for blogic
v8.0.3 (2023-10-30) scope of blank nodes is triple/graph term
v8.0.2 (2023-10-30) using skolem: prefixed names in the output when feasable
v8.0.1 (2023-10-30) removing version 9
v8.0.0 (2023-10-28) graph term scope of blank nodes and Skolem IRIs for graffiti
v7.0.1 (2023-10-27) fixing --pass-only-new
v7.0.0 (2023-10-26) blank nodes have global scope and dropping _vars and ?vars for blogic
v6.2.0 (2023-10-26) using quickvars for rdfsurfaces
v6.1.3 (2023-10-23) fixing --profile
v6.1.2 (2023-10-23) fixing --pass-only-new and fixing _label graffiti in the output
v6.1.1 (2023-10-22) fixing the roundtripping of _label variables
v6.1.0 (2023-10-21) implicit graph term scope of blank nodes and using _label variables in graffiti
v6.0.4 (2023-10-21) fixing blank node parsing and reverting quickvar parsing
v6.0.3 (2023-10-21) simplifying blank node and quickvar parsing
v6.0.2 (2023-10-21) fixing _:_ blank nodes
v6.0.1 (2023-10-21) adding graph depth to _:_ blank node label
v6.0.0 (2023-10-20) explicit or global scope for _:label blank nodes and graph term scope for _:_label blank nodes
v5.2.3 (2023-10-20) experimental graph term scope for _:_name blank nodes for blogic
v5.2.2 (2023-10-19) reverting to EYE v5.0.10 (2023-10-15)
v5.2.1 (2023-10-19) retracting the fix of --pass-only-new
v5.2.0 (2023-10-19) implicit graph term scope of blank nodes
v5.1.1 (2023-10-18) fixing --pass-only-new
v5.1.0 (2023-10-17) implicit global scope of blank nodes
v5.0.10 (2023-10-15) testing s(urface) equ(ivalent) ent(ailment)s
v5.0.9 (2023-10-15) Surface Equivalent Entailment - SEE
v5.0.8 (2023-10-15) checking surface equivalent entailment
v5.0.7 (2023-10-09) adding create sequent metarule for blogic
v5.0.6 (2023-10-08) adding list:notMember built-in
v5.0.5 (2023-10-07) working reasoning time generated sequents
v5.0.4 (2023-10-05) reverting sequents and using rdfsurfaces instead
v5.0.3 (2023-10-04) adding contrapositive for sequents
v5.0.2 (2023-10-04) using set notation ($ $) for sequents
v5.0.1 (2023-10-03) supporting sequents according to https://en.wikipedia.org/wiki/Sequent
v5.0.0 (2023-10-03) scope of blank nodes is graph term for N3 and explicit for RDF Surfaces
v4.18.7 (2023-10-02) refresh is now coherentlogic
v4.18.6 (2023-10-01) fixing trigger for refresh
v4.18.5 (2023-10-01) supporting premis disjunction for refresh
v4.18.4 (2023-10-01) simplifying resolution for refresh
v4.18.3 (2023-09-30) fixing --pass-only-new for refresh
v4.18.2 (2023-09-30) refresh with double negation
v4.18.1 (2023-09-30) supporting disjunction in the conclusion as list of graph terms and is negation when list is empty
v4.18.0 (2023-09-29) supporting lists of graph terms as conclusions
v4.17.7 (2023-09-28) correcting list:remove and list:removeAt built-ins
v4.17.6 (2023-09-25) fixing inference fuse explanation
v4.17.5 (2023-09-24) speeding up inference fuse
v4.17.4 (2023-09-23) simplifying graffiti
v4.17.3 (2023-09-23) fixing double negation
v4.17.2 (2023-09-23) reverting unify/2 wrt double negation
v4.17.1 (2023-09-21) reverting to graffiti as list terms
v4.17.0 (2023-09-20) graffiti as a set of blank nodes i.e. ($ bnodes $)
v4.16.6 (2023-09-19) reverting graffiti to be list terms
v4.16.5 (2023-09-19) fixing issue with graffiti in n3p input
v4.16.4 (2023-09-18) using ( and | to delimit graffiti
v4.16.3 (2023-09-18) reverting graffiti to be list terms
v4.16.2 (2023-09-15) adding extra func:add-duration-to-dateTime built-in (obs from Wout Slabbinck)
v4.16.1 (2023-09-14) improving || graffiti
v4.16.0 (2023-09-14) introducing graffiti terms | bnodes |
v4.15.9 (2023-09-07) fixing surface detection with regex
v4.15.8 (2023-09-07) one way for surface detection
v4.15.7 (2023-09-07) simplifying surface detection
v4.15.6 (2023-09-05) adding --rdf-list-input command line option to input lists as RDF lists
v4.15.5 (2023-09-05) fixing double negation of conjunctions
v4.15.4 (2023-09-05) fixing unify/2 for double negation
v4.15.3 (2023-09-04) fix for modal surface definition
v4.15.2 (2023-09-02) neutral surface is just input for the reasoner (and answer surface is output)
v4.15.1 (2023-09-01) minor refactoring
v4.15.0 (2023-09-01) adding logic to package neutral content
v4.14.13 (2023-08-31) reverting rewrite negative surfaces
v4.14.12 (2023-08-31) fixing datatyped literals for --turtle
v4.14.11 (2023-08-30) fixing quickvar numbering and output_statements counter
v4.14.10 (2023-08-30) adding a rewrite negative surfaces
v4.14.9 (2023-08-26) implementing https://github.com/eyereasoner/eye/issues/74 for --pass-only-new
v4.14.8 (2023-08-24) fixing issue with dynamic predicates (obs from Patrick Hochstenbach)
v4.14.7 (2023-08-23) implementing https://github.com/eyereasoner/eye/issues/74
v4.14.6 (2023-08-21) ignoring --pass-only-new for rdfsurfaces (obs from Jesse Wright)
v4.14.5 (2023-08-20) adding graph:renameBlanks built-in (obs from Patrick Hochstenbach)
v4.14.4 (2023-08-20) fixing issue with log:collectAllIn (obs from Patrick Hochstenbach)
v4.14.3 (2023-08-19) refactoring rdfsurfaces
v4.14.2 (2023-08-19) fixing tosurfaces translator
v4.14.1 (2023-08-19) fixing inference fuse
v4.14.0 (2023-08-18) refactoring RDF Surfaces
v4.13.4 (2023-08-17) transitioning back to log:onNegativeSurface instead of log:nand
v4.13.3 (2023-08-17) fixing issue with rdf:first (obs from Dörthe Arndt)
v4.13.2 (2023-08-16) reverting back to log:surface
v4.13.1 (2023-08-16) reverting to log:package
v4.13.0 (2023-08-15) introducing log:surface as in https://github.com/eyereasoner/eye/blob/master/logic/surface.n3s
v4.12.5 (2023-08-14) relaxing surface triple unification
v4.12.4 (2023-08-14) fixing the condition to blow an inference fuse
v4.12.3 (2023-08-14) making surface triple unification stricter
v4.12.2 (2023-08-14) fixing log:neutral surface inferencing
v4.12.1 (2023-08-11) simplifying log:neutral
v4.12.0 (2023-08-11) introducing log:package surface like in logic/package.n3s
v4.11.5 (2023-08-10) simplifying neutral surfaces
v4.11.4 (2023-08-09) adding metarule to infer neutral surfaces
v4.11.3 (2023-08-08) fixing neutral surfaces so that ~Neutral v Neutral |= True
v4.11.2 (2023-08-08) simplifiying neutral surfaces to basically N & ~N |= N & ~N (and no fuse)
v4.11.1 (2023-08-07) fixing issue with graffiti removal (obs from Patrick Hochstenbach)
v4.11.0 (2023-08-05) neutral surfaces with Kleene logics
v4.10.19 (2023-08-04) fixing issue with graffiti (obs from Patrick Hochstenbach)
v4.10.18 (2023-08-03) further fixing neutral surfaces
v4.10.17 (2023-08-03) fixing issue with neutral surfaces
v4.10.16 (2023-08-03) working with user defined neutral surfaces
v4.10.15 (2023-08-02) revering to log:nand
v4.10.14 (2023-08-02) experimental log:neutral immune to negation
v4.10.13 (2023-08-02) initial support for n-quads
v4.10.12 (2023-08-02) taking back experimental parsing of n-quads
v4.10.11 (2023-08-02) fixing --no-qnames for log:isImpliedBy
v4.10.10 (2023-08-02) experimental parsing of n-quads
v4.10.9 (2023-08-01) now using log:nands standing for logic nand surface
v4.10.8 (2023-08-01) refactoring detection of tonand
v4.10.7 (2023-08-01) reverting changes to log:implies
v4.10.6 (2023-07-31) fixing nested P => false in premis of rules
v4.10.5 (2023-07-31) tonand translator for P => false
v4.10.4 (2023-07-30) no inference fuse for (P => false) => false but double negation
v4.10.3 (2023-07-30) can now run blogic without --blogic
v4.10.2 (2023-07-30) adding comment % DEPRECATED for blogic which will be replaced with logic using log:nand
v4.10.1 (2023-07-28) adding log:version built-in
v4.10.0 (2023-07-27) translating blogic surfaces to log:nand
v4.9.0 (2023-07-25) adding log:imports built-in
v4.8.4 (2023-07-23) fixing --n3p for log:nand
v4.8.3 (2023-07-22) fixing output of --pass-only-new
v4.8.2 (2023-07-21) fixing Skolem IRI namespace prefix
v4.8.1 (2023-07-20) using log:nand with triple term as hint for backward rules
v4.8.0 (2023-07-20) adding log:notIsomorphic built-in
v4.7.0 (2023-07-19) adding log:nand built-in plus log:not and log:output
v4.6.0 (2023-07-14) fixing the simplification of positive surfaces
v4.5.4 (2023-07-14) fixing the simplification of negative surfaces
v4.5.3 (2023-07-14) fixing universal statement
v4.5.2 (2023-07-13) fixing log:uri (obs from Dörthe Arndt)
v4.5.1 (2023-07-11) fixing --n3p-output of blank nodes
v4.5.0 (2023-07-09) simplify question surface (obs from Patrick Hochstenbach)
v4.4.7 (2023-07-07) further fixing output of --n3p-output
v4.4.6 (2023-07-06) fixing output of --n3p-output
v4.4.5 (2023-07-05) adjusting outout
v4.4.4 (2023-07-04) eye --nope --blogic --n3p https://KNowledgeOnWebScale.github.io/retina/rdfsurfaces/socrates/socrates.s
v4.4.3 (2023-06-30) fixing log:uuid, fixing --pass-only-new and throwing no_universals_in_blogic exception
v4.4.2 (2023-06-30) using uuid in Skolem IRIs
v4.4.1 (2023-06-28) fixing universal blogic statements
v4.4.0 (2023-06-28) dealing with universal blogic statements
v4.3.0 (2023-06-27) using log:onQuestionSurface together with log:onAnswerSurface
v4.2.4 (2023-06-26) reverting to unlabeled first rest list parsing
v4.2.3 (2023-06-26) fixing graph built-ins w.r.t. unify/2
v4.2.2 (2023-06-24) fixing graph:union for graphs containing log:equalTo triples (obs from Patrick Hochstenbach)
v4.2.1 (2023-06-24) fixing proofs for blogic
v4.2.0 (2023-06-22) introducing r:DerivedRule and r:DerivedQuery in the proofs to deal with derived rules and queries
v4.1.3 (2023-06-22) adding derived rules to the proof output
v4.1.2 (2023-06-18) adding --no-beautified-output switch (obs from Dörthe Arndt)
v4.1.1 (2023-06-17) dropping mconc as it is non monotonic
v4.1.0 (2023-06-12) dropping domain/3 and have witnesses instead
v4.0.7 (2023-06-11) improving create contrapositive rule for blogic
v4.0.6 (2023-06-11) fixing unlabeled blank node issue for blogic
v4.0.5 (2023-06-08) fixing contrapositive rules for blogic
v4.0.4 (2023-06-04) fixing log:rawType for true and false
v4.0.3 (2023-06-01) simplify resolution of negative surfaces
v4.0.2 (2023-05-31) adding inference fuse for log:negativeTriple
v4.0.1 (2023-05-31) fixing issue with output of true predicate (obs from Patrick Hochstenbach)
v4.0.0 (2023-05-31) removing --query-answer option and implementing --blogic using rdfsurfaces/0
v3.28.1 (2023-05-30) Integrated Surfaces in EYE
v3.28.0 (2023-05-27) using log:negativeTriple built-in (instead of log:onQuerySurface) in blogic odd level surfaces
v3.27.0 (2023-05-25) adding command line option --no-halt to improve --blogic
v3.26.1 (2023-05-24) no duplicate rows for csv output
v3.26.0 (2023-05-24) using log:onAnswerSurface in log:onQuerySurface
v3.25.2 (2023-05-23) fixing log:uuid version 4 clock_seq_hi_and_reserved field
v3.25.1 (2023-05-22) keeping log:onQuerySurface and leaving pragma:query
v3.25.0 (2023-05-22) always regular expressions via pcre library and rewriting log:uuid built-in
v3.24.3 (2023-05-18) using r:Query in the proofs to represent log:onQuerySurface
v3.24.2 (2023-05-18) hybrid proof is N3 proof plus derivations
v3.24.1 (2023-05-18) fixing proof output for derived rules
v3.24.0 (2023-05-17) hybrid proof for blogic
v3.23.2 (2023-05-17) fixing --nope in conjunction with --blogic
v3.23.1 (2023-05-16) improving e:csvTuple to have an optional subject list with header strings
v3.23.0 (2023-05-11) introducing pragma:query and pragma:function
v3.22.5 (2023-05-08) separating blogic reasoning
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)
v3.22.0 (2023-04-29) changing the resolution of two negative surfaces
v3.21.1 (2023-04-23) fixing https://github.com/eyereasoner/Notation3-By-Example/blob/main/blogic/contradiction5:FAIL.n3
v3.21.0 (2023-04-22) treating graffiti as scratches
v3.20.10 (2023-04-20) fixing --pass-only-new (obs from William Van Woensel)
v3.20.9 (2023-04-20) fixing issue with blogic create contrapositive
v3.20.8 (2023-04-18) moving the graffiti in erase at even level
v3.20.7 (2023-04-18) using library pcre when it is installed
v3.20.6 (2023-04-17) fixing the processing of graffiti for nested surfaces
v3.20.5 (2023-04-17) making the graffity order independent
v3.20.4 (2023-04-17) further fixing the processing of graffiti for nested surfaces and beautifying inference fuse
v3.20.3 (2023-04-17) fixing the processing of graffiti (obs from Patrick Hochstenbach)
v3.20.2 (2023-04-16) fixing --pass-only-new for --n3p-output
v3.20.1 (2023-04-16) fixing --n3p-output for variable predicates
v3.20.0 (2023-04-16) adding backward blogic queries and adding --n3p-output switch to have the reasoner output in n3p
v3.19.0 (2023-04-14) improving the way to deal with backward rules in blogic
v3.18.1 (2023-04-13) using memberchk to improve the performance
v3.18.0 (2023-04-13) more scalable resolve negative surfaces
v3.17.6 (2023-04-12) removing the negative surface count limit
v3.17.5 (2023-04-11) improving resolve negative surfaces
v3.17.4 (2023-04-11) showing version plus date
v3.17.2 (2023-04-10) fixing resolve negative surfaces
v3.17.1 (2023-04-10) adjusting resolution parameter
v3.17.0 (2023-04-10) dropping --no-blogic-resolve-negative and using negative surface count limit
v3.16.1 (2023-04-10) fixing resolve negative surfaces (obs from Patrick Hochstenbach)
v3.16.0 (2023-04-09) adding --no-blogic-resolve-negative switch to skip resolution of negative surfaces
v3.15.2 (2023-04-09) simplifying graffiti relabeling
v3.15.1 (2023-04-08) fixing log:isomorphic built-in
v3.15.0 (2023-04-08) adding experimental log:isomorphic built-in
v3.14.1 (2023-04-07) fixing log:notEqualTo built-in
v3.14.0 (2023-04-06) relabeling the blogic graffiti (obs from Ruben Dedecker)
v3.13.0 (2023-04-03) improving blogic resolution
v3.12.4 (2023-04-02) fixing e:stringSplit string:join and string:replace
v3.12.3 (2023-03-30) making math:acos math:acosh math:asin math:asinh math:atan math:atanh math:difference math:quotient bidirectional
v3.12.2 (2023-03-29) fixing --turtle for numerals https://github.com/eyereasoner/eye/issues/83
v3.12.1 (2023-03-22) refactoring blogic
v3.12.0 (2023-03-21) improving resolution for blogic
v3.11.0 (2023-03-17) reformat the output
v3.10.0 (2023-03-16) adding log:call built-in
v3.9.0 (2023-03-16) order-preserving version of log:conjunction (obs from Dörthe Arndt)
v3.8.3 (2023-03-14) fixing path expressions in blogic
v3.8.2 (2023-03-14) fixing https://github.com/eyereasoner/eye/issues/80
v3.8.1 (2023-03-12) simplifying version info
v3.8.0 (2023-03-12) simplifying blogic reasoning
v3.7.1 (2023-03-10) further taking out rdf list comprehension in blogic
v3.7.0 (2023-03-10) making string:join bidirectional
v3.6.0 (2023-03-07) taking out broken rdf list comprehension in blogic
v3.5.1 (2023-03-06) dealing with rdf lists in the premise of backward rules for blogic
v3.5.0 (2023-03-06) extending unifier for rdf lists
v3.4.13 (2023-03-05) fixing nested blogic graffiti using rdf lists
v3.4.12 (2023-03-05) dealing with rdf lists in the conclusion of backward rules for blogic
v3.4.11 (2023-03-04) further fixing rdf lists in rules
v3.4.10 (2023-03-04) fixing rdf lists in rules
v3.4.9 (2023-03-04) fixing blanknode labels containing a minus character
v3.4.8 (2023-03-03) fixing https://github.com/eyereasoner/eye/issues/79
v3.4.7 (2023-03-03) fixing https://github.com/eyereasoner/eye/issues/78
v3.4.6 (2023-03-02) fixing witness creation for blogic
v3.4.5 (2023-03-02) fixing issue https://github.com/eyereasoner/eye/issues/77
v3.4.3 (2023-03-02) fixing issue https://github.com/eyereasoner/eye/issues/76
v3.4.2 (2023-03-07) fixing positive surface blogic
v3.4.1 (2023-03-01) beautifying the output of --rdf-list-output
v3.4.0 (2023-03-01) new command line option --rdf-list-output to output lists as RDF lists
v3.3.6 (2023-03-01) reverting simplified RDF list handling
v3.3.5 (2023-03-01) simplifying RDF list handling
v3.3.4 (2023-03-01) fixing issue https://github.com/eyereasoner/eye/issues/66
v3.3.3 (2023-03-01) fixing https://github.com/eyereasoner/eye/issues/73#issuecomment-1448917259
v3.3.2 (2023-02-28) fixing https://github.com/eyereasoner/eye/issues/72 for --pass-only-new
v3.3.1 (2023-02-28) fixing issues https://github.com/eyereasoner/eye/issues/73 and https://github.com/eyereasoner/eye/issues/75
v3.3.0 (2023-02-27) simplified blogic implementation thanks to erasure at even level
v3.2.3 (2023-02-27) fixing issue https://github.com/eyereasoner/eye/issues/72
v3.2.2 (2023-02-27) fixing issue https://github.com/eyereasoner/eye/issues/71
v3.2.1 (2023-02-27) making log:isImpliedBy explicit instead of just its syntactic sugar <= (obs from Jesse Wright)
v3.2.0 (2023-02-26) adding blogic resolve at nested levek
v3.1.3 (2023-02-23) fixing @forAllin the premis of rules (obs from Jesse Wright)
v3.1.2 (2023-02-23) fixing log:notIncludes for (context recursion) scope (obs from Patrick Hochstenbach)
v3.1.1 (2023-02-23) fixing log:n3String interference with writing prefixes (obs from Jesse Wright)
v3.1.0 (2023-02-23) adding blogic deiteration at nested level
v3.0.1 (2023-02-22) fixing blogic graffiti when using rdf:first, rdf:rest and rdf:nil (obs from Patrick Hochstenbach)
v3.0.0 (2023-02-22) core blogic metarules and new list:sort, log:callWithCut and log:callWithOptional built-ins
v2.13.2 (2023-02-20) simplifying extended unifier for blogic
v2.13.1 (2023-02-20) work around for issue https://github.com/eyereasoner/eye-js/issues/129 by adding extra newline
v2.13.0 (2023-02-20) rewrite negative surface disjunction for blogic
v2.12.2 (2023-02-17) fixing string:concatenation (obs from Dörthe Arndt)
v2.12.1 (2023-02-17) improving non-unit resolution for blogic
v2.12.0 (2023-02-15) improving non-unit resolution for blogic and dropping log:onAskSurface and log:onConstructSurface
v2.11.0 (2023-02-15) adding non-unit resolution for blogic
v2.10.3 (2023-02-14) adding blogic negative surface redundancy removal
v2.10.2 (2023-02-11) using log:onQuerySurface instead of log:onConstructSurface
v2.10.1 (2023-02-10) fixing https://github.com/eyereasoner/Notation3-By-Example/blob/main/blogic/negativeSurface3.n3
v2.10.0 (2023-02-10) backward rules are now using log:onConstructSurface instead of log:onQuerySurface
v2.9.0 (2023-02-09) adding log:onAskSurface to ask ground questions
v2.8.2 (2023-02-09) using --warn to warn for multiple models with --blogic
v2.8.1 (2023-02-08) refactoring --blogic which is removing the exponential dsplit/3
v2.8.0 (2023-02-08) eye --blogic is now single model
v2.7.5 (2023-02-05) making sure that no built-in arrives in the conclusion of rules generated for --blogic
v2.7.4 (2023-02-04) simplifying the --blogic rule for contrapositives
v2.7.3 (2023-02-03) further substantial performance improvement of --blogic
v2.7.2 (2023-02-03) improving performance of --blogic with some 15%
v2.7.1 (2023-02-03) improving --restricted for graph: and log: built-ins
v2.7.0 (2023-02-02) refactoring --blogic
v2.6.3 (2023-02-01) fixing issues with log:rawType to succeed with https://github.com/eyereasoner/Notation3-By-Example/blob/main/log/rawType.n3
v2.6.2 (2023-02-01) using log:UnlabeledBlankNode instead of log:BlankNode for the log:rawType of []
v2.6.1 (2023-02-01) extending log:rawType with log:BlankNode, log:LabeledBlankNode, log:SkolemIRI and log:ForSome types and dropping log:isBlank (obs from Patrick Hochstenbach)
v2.6.0 (2023-01-31) adding log:isBlank built-in for SPARQL emulation
v2.5.0 (2023-01-31) generating fewer implications for --blogic
v2.4.0 (2023-01-30) refactoring --blogic and removing --no-erase
v2.3.10 (2023-01-29) fixing output of inference fuse
v2.3.9 (2023-01-28) refining --blogic model generation
v2.3.8 (2023-01-28) improving the performance of --blogic model generation
v2.3.7 (2023-01-23) fixing output of variable predicates (obs from Dörthe Arndt)
v2.3.6 (2023-01-22) further fixing https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/beetle13.n3 (obs from Dörthe Arndt)
v2.3.5 (2023-01-22) beautifying the output of graph literals
v2.3.4 (2023-01-21) adding experimental log:graffiti built-in as used in https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/parteval.n3
v2.3.3 (2023-01-20) fixing https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/beetle13.n3 (obs from Dörthe Arndt)
v2.3.2 (2023-01-20) improving readability of blogic graphs (obs from Ruben Dedecker)
v2.3.1 (2023-01-20) improving the output of log:trace (obs from William Van Woensel)
v2.3.0 (2023-01-14) loading library(dif) so that dif/2 can be used in n3p (obs from Patrick Hochstenbach)
v2.2.0 (2023-01-14) adding --no-models option to have no model generation for blogic
v2.1.1 (2023-01-11) finetuning blogic model handling
v2.1.0 (2023-01-11) improving blogic model handling
v2.0.1 (2023-01-07) using semantic versioning
[v23.107.1359] adjusting --version to be syntactically compatible with semver
[v23.0106.2349] fixing log:prefix built-in to work backwards too (obs from Tim Duval)
[v23.0106.2253] fixing log:prefix built-in
[v23.0106.2233] adding log:hasPrefix and log:prefix built-ins (obs from Tim Duval)
[v23.0105.1853] removing experimental <| ... |> notation
[v23.0105.0024] adding reasoning/blogic/socrates.n3p surfaces example
[v23.0104.0019] RDF Surfaces work using ISO Prolog syntax
[v22.1226.2224] introducing <| ... |> quoted graphs
[v22.1225.2216] allowing built-ins to rededefine the scope of their blank nodes
[v22.1224.0044] experimental implementation of -{ ... }- quoted graphs
[v22.1223.2228] experimental implementation of -{ ... }- quoted graphs
[v22.1221.2050] working around issue with --debug-models
[v22.1221.1351] fixing log:notEqualTo for floundering
[v22.1220.1055] throwing invalid_graffiti/2 exception when graffiti is not composed of blank nodes (obs from Patrick Hochstenbach)
[v22.1219.2214] reverting to {...} as the object of RDF Surfaces
[v22.1219.1946] supporting [% ... %] notation for RDF Surfaces (obs from Patrick Hochstenbach)
[v22.1218.0929] Adapt documentation for new quiet rules (obs from Patrick Hochstenbach)
[v22.1217.1505] no more need for --nope when using --blogic
[v22.1216.2120] adding experimental graph:intersection and graph:union built-ins
[v22.1216.1750] making sure that --quiet is quiet
[v22.1214.1302] improving some built-ins so that can also understand RDF surfaces
[v22.1214.0107] reverting log:conclusion to run https://github.com/eyereasoner/Notation3-By-Example
[v22.1213.0917] fixing log:ifThenElseIn for surfaces
[v22.1213.0041] the eye reasoner now lives at https://github.com/eyereasoner/eye
[v22.1212.2153] extending log:ifThenElseIn to support graph scope and reasoner scope
[v22.1211.2244] adding experimental log:ifThenElseIn built-in
[v22.1211.2148] adding --debug-implies on top of --debug-models
[v22.1210.1903] fixing https://github.com/phochste/Notation3-By-Example/blob/main/blogic/disjunction_elimination3.n3 (obs from Patrick Hochstenbach)
[v22.1210.0942] Fixing crypto crash when subject is a var (https://github.com/eyereasoner/eye/pull/51 by Patrick Hochstenbach)
[v22.1209.1433] fixing https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/beetle10.n3
[v22.1208.2103] fixing https://github.com/phochste/Notation3-By-Example/blob/main/blogic/disjunction2.n3 (obs from Patrick Hochstenbach)
[v22.1207.2316] fixing non-monotonicity issue with disjunctive surfaces (obs from Dörthe Arndt)
[v22.1207.1454] fixing https://github.com/eyereasoner/eye/blob/master/reasoning/blogic/beetle9.n3 (obs from Dörthe Arndt)
[v22.1207.1227] fixing https://github.com/phochste/Notation3-By-Example/blob/main/blogic/disjunction:SKIP.n3 (obs from Patrick Hochstenbach)
[v22.1206.2212] using got_models/0 to close the reasoning
[v22.1206.1851] new implementation to deal with disjunctions on surfaces
[v22.1203.1224] fixing issue https://github.com/eyereasoner/eye/issues/50 error when using local Windows paths
[v22.1201.1601] just disjunctions via contrapositives and adding more contrapositives
[v22.1130.2240] further fixing n-ary disjunctions (obs from Dörthe Arndt)
[v22.1129.1401] again fixing issue with n-ary disjunctions (obs from Dörthe Arndt)
[v22.1128.2238] fixing issue with n-ary disjunctions (obs from Dörthe Arndt)
[v22.1126.0121] adding log:multisetEqualTo and log:multisetNotEqualTo built-ins
[v22.1125.0941] using log:onConstructSurface instead of log:onOutputSurface (obs from Patrick Hochstenbach)
[v22.1124.2218] fixing log:collectAllIn, subject graphs parsing and unify/2 (obs from Patrick Hochstenbach)
[v22.1123.2147] fixing issue with automatic creation of rules
[v22.1123.1357] using log:onOutputSurface in a log:onQuerySurface to output the answers
[v22.1122.1047] fixing owl:hasKey rule at https://eyereasoner.github.io/eye/reasoning/rpo/owl-hasKey.n3 (obs from Dörthe Arndt)
[v22.1121.2131] fixing RDF-star parsing issue with rdf:type
[v22.1121.1405] adding experimental log:dcg and log:phrase built-ins (obs from Tim Duval)
[v22.1111.1734] adding --no-erase command line option to disable the erase functionality for blogic (obs from Patrick Hochstenbach)
[v22.1105.2210] minimal implementation of log:onNeutralSurface
[v22.1105.1944] adding log:includesNotBind built-in (obs from Patrick Hochstenbach)
[v22.1104.2224] refactoring --blogic
[v22.1104.1859] supporting disjunction elimination and dropping log:onAskSurface
[v22.1103.2056] improving performance of erasure in nested negative surfaces
[v22.1103.1406] simplifying inference fuse mechanism
[v22.1102.2045] extending erasure in nested negative surfaces
[v22.1102.1304] fixing inference fuse mechanism (obs from Patrick Hochstenbach)
[v22.1030.1927] adding log:onPositiveSurface unification
[v22.1030.0944] extending negative surface erasure
[v22.1029.2028] supporting triple quoted string output (obs from Tim Duval)
[v22.1028.1121] fixing query surfaces that are the result of a rule (obs from Patrick Hochstenbach)
[v22.1027.1409] adding graph:list and graph:member built-ins (obs from Patrick Hochstenbach)
[v22.1025.2014] fixing issue with <- inverse property syntax (obs from William Van Woensel)
[v22.1024.2248] further improving erasure thanks to Patrick Hochstenbach
[v22.1021.1922] fixing --multi-query so that it can run with log:onQuerySurface queries
[v22.1021.1055] using log:onNegativeSurface unification instead of built-in
[v22.1019.1350] fixing log:onNegativeSurface built-in (obs from Patrick Hochstenbach)
[v22.1016.2138] optimizing double negative surfaces
[v22.1015.1421] working around an issue with positive surfaces (obs from Patrick Hochstenbach)
[v22.1014.2155] fixing nested positive surfaces with log:onPositiveSurface built-in
[v22.1013.0848] answering log:onAskSurface with log:onAnswerSurface true or false
[v22.1012.1400] further improving log:onAskSurface (obs from Dörthe Arndt and Pieter Bonte)
[v22.1012.0017] experimental log:onAskSurface which should be sound and complete
[v22.1009.2334] fixing issue https://github.com/eyereasoner/eye/issues/48 (obs from Patrick Hochste)
[v22.1006.1358] adding --max-inferences <nr> option to halt after maximum number of inferences
[v22.1006.0942] adding log:repeat built-in (obs from Patrick Hochstenbach)
[v22.1005.1958] adding list:firstRest built-in and using new exit codes: 0 normal, 1 syntax error, 2 inference fuse, 3 other
[v22.1004.2157] supporting r:source annotations to use those in proofs
[v22.1004.1311] further completing contrapositives for --blogic
[v22.1003.1521] fixing issue with exopred/3 to support anything as predicate (obs from Patrick Hochstenbach)
[v22.1002.2146] adding contraposition to --blogic for reasons of completeness
[v22.1001.2236] fixing --blogic to deal with nested positive surfaces
[v22.1001.1829] improving --blogic to deal with nested positive surfaces (obs from Patrick Hochstenbach)
[v22.1001.1155] fixing incompleteness issue in --blogic
[v22.0929.2000] simply making --blogic a command line option to support RDF surfaces
[v22.0927.1834] adding log:callWithCleanup built-in to call subject formula and when it is finished, either with succes or failure, the object formula is called
[v22.0927.0845] adding log:onPositiveSurface built-in for RDF surfaces
[v22.0924.1501] using log:onNegativeSurface log:onQuerySurface log:onNeutralSurface to be clear that the subject is the graffiti on the object surface
[v22.0921.2107] fixing the scope of variables for blogic
[v22.0919.1746] adding --output <file> option to output reasoner output to <file>
[v22.0918.1525] fixing --blogic to make sure that consistency check is always active (obs from Patrick Hochstenbach)
[v22.0915.1852] fixing --turtle for proofs
[v22.0915.1300] making log:content log:semantics and log:semanticsOrError --restricted (obs from Patrick Hochstenbach)
[v22.0912.1153] adding inference fuse support for --blogic
[v22.0912.1019] changing --blogic so that a negative surface containing a query surface is treated as a backward rule
[v22.0909.2055] adding math:roundedTo (done by Patrick Hochstenbach)
[v22.0909.1613] adding math:ceiling, math:floor, math:min, math:max, math:logarithm and math:radians (done by Patrick Hochstenbach)
[v22.0909.1349] fixing log:content built-in
[v22.0909.1329] fixing string:replaceAll built-in
[v22.0908.2207] extending regex support without library(pcre)
[v22.0907.2251] adding log:inferences built-in
[v22.0907.2209] adding log:langlit log:localName log:namespace and log:uuid built-ins
[v22.0907.1831] adding log:content log:parsedAsN3 and log:semanticsOrError built-ins
[v22.0907.1158] adding log:bound log:racine and log:skolem built-ins
[v22.0906.2239] adding string:notContainsRoughly built-in
[v22.0906.2214] adding crypto:md5 string:capitalize string:containsRoughly string:format string:lowerCase string:replaceAll string:scrapeAll string:substring string:upperCase built-ins
[v22.0906.1309] adding list:memberAt and list:removeAt built-ins
[v22.0906.1139] adding crypto:sha256 and crypto:sha512 built-ins
[v22.0904.1357] fixing --blogic for https://github.com/phochste/Notation3-By-Example/blob/main/blogic/negativeSurface2.n3 (obs from Patrick Hochstenbach)
[v22.0831.2119] reverting --blogic proof capabilities
[v22.0830.2142] reverting the loading of libraries
[v22.0829.2159] using log:codex triples for blogic justifications
[v22.0828.0945] fixing https://github.com/eyereasoner/eye/issues/45
[v22.0827.1120] adding list:unique built-in
[v22.0825.0924] using sha and semweb/turtle libraries for swipl wasm
[v22.0814.1056] using skolem IRIs in proofs and supporting solid:source in proofs (obs from Jesse Wright)
[v22.0809.1553] fixing log:uri in conjunction with e:labelvars (obs from William Van Woensel)
[v22.0807.1905] staying in toplevel when running main/1
[v22.0806.2130] sharing unified eye version with eyebrow
[v22.0806.0946] adding main/1 to call eye via main with list of arguments
[v22.0804.2304] fixing log:rawType for var: uris (obs from William Van Woensel)
[v22.0803.1340] fixing e:labelvars built-in to use local numbering (obs from William Van Woensel)
[v22.0801.1043] fixing e:labelvars built-in to use avars (obs from William Van Woensel)
[v22.0729.2037] adding string:length built-in (obs from William Van Woensel)
[v22.0725.1110] adding list:removeDuplicates and string:join built-ins and upgrading string:replace to work with regular expressions (obs from William Van Woensel)
[v22.0722.2355] fixing string:concatenation for universals
[v22.0722.0847] implementing log:localN3String where universals are only unique within the printed formula (obs from William Van Woensel)
[v22.0721.2121] using --intermediate <n3p-file> instead of --pcode <n3p-file>
[v22.0721.2042] fixing log:n3String so that it not just works the first time (obs from William Van Woensel)
[v22.0720.2135] fixing log:rawType to return log:Literal instead of rdfs:Literal (obs from William Van Woensel)
[v22.0719.1137] improving --pcode output
[v22.0718.0935] fixing --pcode for --turtle
[v22.0717.2213] adding --n3p <uri> to load N3P pcode and --pcode <n3p-file> to produce N3P pcode
[v22.0712.1145] not using library(process) and library(uri)
[v22.0711.1846] adding list:setEqualTo and list:setNotEqualTo built-ins
[v22.0711.1819] the rule ?x => {:a :b :c}. always gives :a :b :c.
[v22.0710.2111] single code base instead of having adapted source code for the JavaScript version
[v22.0628.0950] bringing back support for ($ elements $) sets to resolve https://github.com/w3c/N3/issues/95
[v22.0627.1819] supporting [ id triples ] to solve https://github.com/w3c/N3/issues/100
[v22.0623.1440] the = or owl:sameAs can be anywhere in the iriPropertyList for issue https://github.com/w3c/N3/issues/100
[v22.0622.1937] implementing iriPropertyList starting with '[ =' (see https://github.com/w3c/N3/issues/100)
[v22.0622.1428] adding --no-ucall option to have no extended unifier for forward rules
[v22.0610.1022] simplified Dockerfile (done by Boris De Vloed)
[v22.0609.2035] correcting installation (obs from Jan Wielemaker and Boris De Vloed)
[v22.0609.1441] improving installation (obs from Jan Wielemaker)
[v22.0608.1223] fixing years in --license
[v22.0526.0934] fixing various --turtle issues
[v22.0525.1446] reintroducing --turtle to load Turtle triples at 10 fold speed
[v22.0424.1245] fixing proofs when using retwist
[v22.0422.1205] fixing backward to forward retwist
[v22.0421.2258] fixing proof instrumentation for retwistable inferencing
[v22.0421.1748] using retwist/3 for proof instrumentation
[v22.0421.0959] improving log:becomes to support retwistable inferencing
[v22.0409.1317] reverting the scope of blank nodes to be the N3 formula
[v22.0408.2025] adding reasoning/n3patch example to patch N3 data
[v22.0406.2154] introducing --tactic limited-witness <nr> to use only a limited number of witnesses (obs from Pieter Bonte)
[v22.0401.1756] fixing issue with --proof and explicit quantification
[v22.0331.2055] fixing the output of explicit quantification
[v22.0331.1804] fixing explicit quantification within the premis of a rule
[v22.0331.1347] using explicit quantification in the output of cited formulae
[v22.0331.1142] fixing more issues with explicit quantification
[v22.0330.2211] fixing issue with explicit quantification in cited formulae
[v22.0329.1006] going back to proofs with explicit quantification and substitution
[v22.0323.0915] avoiding loop with log:becomes (obs from William Van Woensel)
[v22.0322.1349] fixing critical issue in e:becomes
[v22.0322.1016] further fixing rdf:rest built-in
[v22.0321.2207] third attempt to fix premature answers e:becomes and making it also as log:becomes
[v22.0319.1653] fixing premature answers and adding experimental log:linearImplies built-in
[v22.0319.1132] reverting previous attempt to fix premature answers
[v22.0316.2325] fixing e:becomes (obs from William Van Woensel)
[v22.0316.1852] fixing rdf:rest built-in (obs from Dörthe Arndt)
[v22.0314.2212] supporting --multi-query to go into query answer loop
[v22.0225.1720] running eye via websocketd
[v22.0224.2145] repairing web get capability
[v22.0220.1400] making common version for eyenext
[v22.0219.2334] fixing backward rules with blank node in its conclusion (issue https://github.com/eyereasoner/eye/issues/35)
[v22.0218.2226] extending e:fail and e:findall so that subject is e:ScopeOrFormula (issue https://github.com/eyereasoner/eye/issues/34)
[v22.0203.1955] fixing issue https://github.com/eyereasoner/eye/issues/33
[v22.0128.1551] fixing backward rules generated by forward rules (issue https://github.com/eyereasoner/eye/issues/32)
[v22.0126.1149] supporting nested log:scope to deal with log:universal and log:existential
[v22.0125.1823] improving unify/2 for log:scope
[v22.0125.1445] adding log:scope to deal with quantification in quoted graphs (obs from Dörthe Arndt)
[v22.0124.1659] adding e:before built-in to call the subject formula before the object formula
[v22.0117.1432] making log:collectAllIn like e:findall and dropping e:find
[v22.0103.1833] extending e:call so that is able to call the object formula in the subject formula (see https://github.com/eyereasoner/eye/issues/31)
[v21.1227.1119] further fixing https://github.com/eyereasoner/eye/issues/28
[v21.1226.2106] fixing https://github.com/eyereasoner/eye/issues/28
[v21.1218.1852] fixing bug in e:becomes (which is linear logic implication)
[v21.1217.1838] fixing exitentials in a backward query
[v21.1215.1908] making log:collectAllIn premis order independent
[v21.1213.1906] fixing e:find for empty answer (obs from Dörthe Arndt)
[v21.1203.1426] fixing log:notIncludes and log:notEqualTo for existential rules per issue issues/25 (obs from Dörthe Arndt and Stephan Mennicke)
[v21.1125.2043] fixing floundering issue with log:notIncludes
[v21.1124.2208] fixing log:notIncludes issues/25 (obs from Pierre-Antoine Champin)
[v21.1123.1419] adding ?SCOPE e:find (?SELECT ?WHERE ?ANSWER) built-in which binds the free variables in ?WHERE except those that occur in ?SELECT
[v21.1115.2205] adding non_rdf_entailment/2 exception for --entail and --not-entail
[v21.1111.1241] Fix atom_concat/3 calls that create atoms that are not used #23 (obs from Paulo Moura)
[v21.1110.1436] fixing issues with reasoning/nps (new proposed semantics thanks to Pierre-Antoine Champin)
[v21.1028.2142] fixing universals in generated rules (obs from William Van Woensel)
[v21.1028.1756] fixing issue with universals in toplevel triples (obs from William Van Woensel)
[v21.1023.1345] adding meta-interpretation at reasoning/mi (thanks to Markus Triska)
[v21.0926.2252] fixing math:asin math:acos math:atan math:asinh math:acosh math:atanh built-ins and adding blogic complex functions example
[v21.0926.1301] introducing log:querySurface for --blogic
[v21.0924.2013] reverting --skolem-genid option
[v21.0923.2040] fixing the creation of rules based on globally scoped bnodes (obs from Dörthe Arndt)
[v21.0923.1203] improving --blogic so that it can emulate clauses with more than one positive literal
[v21.0921.1655] experimental implementation of Blogic using RDF surfaces thanks to Pat Hayes
[v21.0921.1204] improving --pass-only-new in conjunction with e:becomes (obs from Ryan Shaw)
[v21.0920.2142] fixing the parsing of typed literals (obs from Ryan Shaw)
[v21.0920.2018] fixing --pass-only-new in conjunction with e:becomes (obs from Ryan Shaw)
[v21.0917.1123] always treating the empty graph '{}' literal as boolean 'true' literal
[v21.0916.1958] returning exit code 1 when failing to load invalid document (obs from Ryan Shaw)
[v21.0912.2042] fixing bnodes in generated rules (obs from William Van Woensel)
[v21.0912.1951] correcting log:collectAllIn built-in (obs from William Van Woensel)
[v21.0912.0040] fixing the use bnodes instead of Skolem constants (obs from William Van Woensel)
[v21.0912.0038] fixing bnodes instead of skolem constants
[v21.0907.0959] correcting graph:difference built-in (obs from William Van Woensel)
[v21.0905.0842] adding Padovan sequence
[v21.0902.2237] reworking to EYE Thinking
[v21.0831.1140] switching to hybrid blank node scope
[v21.0819.1956] avoiding that blank nodes are leaking as Skolem IRIs
[v21.0816.2107] adding --skolem-genid <genid> command line option to use <genid> in Skolem IRIs
[v21.0812.1311] updating mkeye script
[v21.0811.1752] extending log:includes and log:notIncludes to support e:Scope subject (obs from Patrick Hochstenbach)
[v21.0809.2141] option --restricted is restricting to core built-ins (obs from Patrick Hochstenbach)
[v21.0708.2239] correcting bnode cases
[v21.0708.1553] further improving the use of Skolem IRIs
[v21.0708.1245] moving back to blank nodes with formula scope
[v21.0706.1214] fixing log:semantics (obs from Dörthe Arndt)
[v21.0622.1431] fixing blank node quantification according to https://lists.w3.org/Archives/Public/public-n3-dev/2021Jun/0026.html
[v21.0621.2307] looking into consequences of 'static' (lexical) scoping behaviour of bnodes
[v21.0618.2033] fixing --pass and --pass-only-new (obs fromPierre-Antoine Champin)
[v21.0618.1154] fixing math comparison built-ins
[v21.0617.2258] fixing issues with backward chaining rules (obs from Pierre-Antoine Champin)
[v21.0617.1321] new blank node quantification as proposed by Pierre-Antoine Champin
[v21.0609.2221] further fixing the use of Skolem IRIs
[v21.0608.1647] further improving the use of Skolem IRIs
[v21.0608.1236] correcting e:skolem built-in
[v21.0607.2335] using Skolem IRIs when formuladepth is not zero
[v21.0530.2141] stepping back to distributed mathematical library
[v21.0530.1301] calling the new mathematical library 'focus'
[v21.0529.1304] changing namespace for Euler Yet another proof Engine mathematical Library
[v21.0529.1044] adding Euler Yet another proof Engine mathematical Library - eyel
[v21.0526.1011] fixing datatype for language strings (obs from Pierre-Antoine Champin)
[v21.0524.1151] adding log:forAllIn and log:collectAllIn built-ins
[v21.0510.2007] fixing derived integrity constraints (obs from Pierre-Antoine Champin)
[v21.0509.1819] extending eye/reasoning
[v21.0414.2118] fixing issue with properly stopping of the reasoning
[v21.0409.1202] removing e:primes, e:roots, e:solveEquation and e:totient built-ins and using reasoning/sympy instead
[v21.0324.2335] adding reasoning timing again
[v21.0324.2257] fixing performance issue with graph literal unification (obs from Ruben Verborgh)
[v21.0323.2200] adding log:forAllIn built-in
[v21.0320.2311] compiling numeric datatyped literals and adding graph:difference and graph:length built-ins
[v21.0315.2105] changing from log:map to list:map (obs from Pierre-Antoine Champin)
[v21.0315.0029] correcting --help
[v21.0313.1434] adding time:localTime and e:exec built-ins and creating EARL reports for rdf-star, turtle-dev and n3-dev
[v21.0312.1751] adding log:map built-in (from N3 Community Group)
[v21.0305.2145] simplifying log:notIncludes
[v21.0228.1130] correcting the default encoding for the http_open stream
[v21.0228.0035] dropping --curl-http-head, --multi-query, --pass-turtle, --probe, --streaming-reasoning, --turtle and dependencies on curl and cturtle
[v21.0227.1343] fixing install.sh
[v21.0227.1330] adding math:acos, math:acosh, math:asin, math:asinh, math:atan and math:atanh built-ins
[v21.0226.2146] adding list:length and list:remove builtins (from N3 Community Group)
[v21.0226.2048] improving install.sh and INSTALL documentation
[v21.0226.1852] fixing string:concatenation for unbound variables
[v21.0226.1636] adding log:n3String (from N3 Community Group) and fixing log:includes (obs from William Van Woensel)
[v21.0223.2124] fixing list:append (obs from William Van Woensel)
[v21.0223.1311] fixing set_stream error on Windows
[v21.0222.2055] adding proposed list:iterate built-in (from N3 Community Group)
[v21.0219.2020] e:sort is now also removing duplicates
[v21.0214.1641] fixing issue Redundant calls to append/2 #16 (obs from Paulo Moura)
[v21.0214.1628] fixing issue Redundant use of the =../2 predicate #15 (obs from Paulo Moura)
[v21.0214.1622] fixing issue Redundant call/1 wrapper #14 (obs from Paulo Moura)
[v21.0214.1602] fixing issue Avoid generating temporary atoms #13 (obs from Paulo Moura)
[v21.0214.1552] fixing issue jiti_list/0 is not a built-in predicate (missing use_module/1 or use_module/2 directive) #12 (obs from Paulo Moura)
[v21.0214.1548] fixing issue Redundant directive wrapper #11 (obs from Paulo Moura)
[v21.0208.2135] always draw full conclusions so dropping partconc/3
[v21.0202.2156] improving style
[v21.0123.1233] making sure that the common universals in premise and conclusion of forward rules are ground
[v21.0119.1732] fixing strange result with RDF* annotation syntax #9 (obs from Pierre-Antoine Champin)
[v21.0108.2234] working with SWI-Prolog 8.3.17
[v21.0107.2307] adding e:solveEquation built-in to solve equations
[v21.0107.1845] adding e:totient built-in to calculate Euler's totient function
[v20.1227.1157] fixing https://github.com/eyereasoner/eye/issues/8
[v20.1224.2323] improving the performance of e:primes
[v20.1224.1200] adding e:primes built-in to calculate prime numbers
[v20.1217.1242] fixing rdf:rest built-in
[v20.1216.1756] fixing atomify/2 and dropping --ignore-syntax-error
[v20.1215.2201] improving turtle-star syntax checking
[v20.1215.1700] introducing data_fuse to fix --entail and --not-entail
[v20.1214.2259] fixing --entail of empty graph
[v20.1213.2145] simplifying numeric literal parsing
[v20.1213.2122] making language tags case insensitive
[v20.1213.1252] adding e:fileString to read file content into a string
[v20.1212.2140] implementing --not-entail for rdft:TestTurtleNegativeSyntax
[v20.1211.1403] introducing --not-entail <rdf-graph> to output true if RDF graph is not entailed
[v20.1211.0035] simplifying annotation of triples
[v20.1210.2002] correcting rdf-star triple annotation 'triple {| propertylist |}'
[v20.1208.1753] allowing derived rules in the deductive closure (obs from Dörthe Arndt)
[v20.1207.1537] updating reasoning to always use PREFIX instead of @prefix
[v20.1207.1300] adding --quiet mode
[v20.1205.2222] supporting rdf-star triple annotation 'triple {| propertylist |}'
[v20.1203.2013] generating proofs without explicit quantification
[v20.1125.1710] fixing issue with @forSome (obs from Dörthe Arndt)
[v20.1124.2249] introducing --entail <rdf-graph> to output true if RDF graph is entailed
[v20.1123.2124] reverting the previous fix for issue with @forSome
[v20.1119.2357] fixing issue with @forSome (obs from Dörthe Arndt)
[v20.1115.1419] simplifying free variables as names starting with $
[v20.1115.1316] fixing free variables as names starting with $
[v20.1115.0038] using free variables as names starting with $
[v20.1027.2307] removing --pl and using n3 instead
[v20.1023.2102] testing and working fine with SWI-Prolog version 8.3.10
[v20.1020.2137] reverting to the original flow patterns for math:sum, math:product, math:difference and math:quotient
[v20.1001.1755] removing --pl query
[v20.0922.2212] further improving flow control for math: built-ins
[v20.0922.0806] fixing issue with math:sum flow patterns (obs from Pierre-Antoine Champin)
[v20.0919.1930] supporting all kinds of flow patterns for math:sum, math:product, math:difference and math:quotient (obs from Greg Kellogg)
[v20.0918.2306] checking minimal swipl version (obs from Pierre-Antoine Champin)
[v20.0910.0008] resolving https://github.com/eyereasoner/eye/issues/4
[v20.0825.2124] no WS in IRIref as per resolution of https://github.com/w3c/N3/issues/41
[v20.0822.1924] removing all the deprecated code and moving --n3p to --debug-n3p
[v20.0822.1221] using Definite Clause Grammar (DCG) for N3 parser
[v20.0820.2237] removing --carl and targeting Graph Literals to Augment Simple Statements
[v20.0816.2139] this version should have a complete graph literal unifier
[v20.0812.1747] correcting graph literal unifier for log:equalTo
[v20.0811.2338] further improving graph literal unification
[v20.0810.1331] reimplementing graph literal unification and adding example test case https://github.com/eyereasoner/eye/tree/master/reasoning/n3gl
[v20.0805.2233] dropping whitespace in uris
[v20.0803.2102] adding --pl switch to support Prolog facts, rules and queries
[v20.0802.2241] fixing errors for https://github.com/w3c/N3/blob/master/tests/N3Tests/new_syntax/inverted_properties.n3
[v20.0721.1253] supporting ':s <- :p :o' which is the same as ':s @is :p @of :o' and fixing IRIREF to exclude whitespace (obs from Greg Kellogg)
[v20.0716.2304] fixing LANGTAG confused with @is and @has (obs from Gregg Kellogg)
[v20.0703.0848] testing and running with SWI-Prolog version 8.3.3
[v20.0606.1810] making sure that n3* triples can benefit from deep indexing
[v20.0603.2122] initial support for N3* thanks to w3c/N3 community group
[v20.0528.1036] running with SWI-Prolog version 8.3.0
[v20.0525.2056] fixing log:equalTo built-in to unify rdf lists
[v20.0524.2220] using e:derive built-in instead of --prolog and prolog: built-ins
[v20.0515.2122] using --prolog again
[v20.0510.2019] deprecating --carl and --n3p and using original N3 parser instead
[v20.0509.2205] deprecating --prolog and using N3 backward rules instead
[v20.0508.2157] running with SWI-Prolog version 8.1.31
[v20.0508.2128] dropping --strict option
[v20.0507.1852] moving back to previous implementation of e:becomes (obs from Dörthe Arndt)
[v20.0501.2209] running with SWI-Prolog version 8.1.30
[v20.0423.1748] fixing e:stringSplit (obs from Hans Cools) and fixing reasoning about <= rules (obs from Dörthe Arndt)
[v20.0411.2226] switching to --prolog instead of --plugin
[v20.0403.2208] adding complex number exponentiation
[v20.0323.1552] running with SWI-Prolog version 8.1.25
[v20.0320.2222] fixing e:graphIntersection for empty intersection
[v20.0313.1435] fixing e:graphIntersection for partially instantiated graphs (obs from Dörthe Arndt)
[v20.0310.2137] making e:graphIntersection non deteterministic (obs from Dörthe Arndt)
[v20.0227.1323] correcting prolog:day_of_the_week built-in (obs from Pieter Heyvaert)
[v20.0225.2300] moving back to previous implementation of e:becomes (obs from Dörthe Arndt)
[v20.0223.1436] adding back eye/reasoning
[v20.0218.2044] switching back to the original --proof to reason with N3 proof lemmas
[v20.0214.1629] adding prolog:use_module built-in and adding --plugin to the --help message
[v20.0211.2332] undeprecating prolog: built-ins
[v20.0209.2139] fixing exception in temporal built-ins (obs from Hans Cools)
[v20.0204.1058] using the version_git and version_data flags to show the SWI-Prolog version
[v20.0203.2202] only ? can be used to prefix variables (N3 Community Group consensus)
[v20.0129.2333] updating documentation of e:propertyChainExtension (obs from Hans Cools)
[v20.0129.2247] extending log:dtlit to support datatypes that are rdfs:subClassOf xsd:integer (obs from Hans Cools)
[v20.0127.2317] both ? and $ can now be used to prefix variables
[v20.0122.2153] dropping @keywords
[v20.0122.2039] allow space char 0x20 in iriref
[v20.0122.1952] adding invalid_boolean_literal exception/2 and correcting non_iri_char/1
[v20.0121.2250] dropping --parse-only, reintroducing --n3 and supporting ^pred
[v20.0105.1336] running with SWI-Prolog 8.1.20
[v20.0104.0037] dropping --ignore-immediate-goal command line switch and using --parse-only instead
[v19.1228.1018] FIXED: process_create/3: stderr was sent to stdout. Fixed by Jan Wielemaker
[v19.1226.1140] running with SWI-Prolog 8.1.19
[v19.1223.0106] adding --ignore-immediate-goal switch to not run a rule of the form true <= goal
[v19.1214.1458] deprecating --plugin and using N3 instead
[v19.1211.1447] using --quantify <prefix> to quantify uris with <prefix> in the output and deprecate --no-skolem
[v19.1206.2337] going back to dedicated var: namespace
[v19.1129.2354] finetuning --twinkle <uri> as Thinking with lemmas from N3 proof
[v19.1129.2208] moving back from --n3 <uri> to <uri> command line argument
[v19.1126.2203] replacing the experimental --proof command line switch the new --twinkle command line switch
[v19.1126.1434] complete reimplementation of string:scrape and string:search and fixing e:stringSplit (obs from Hans Cools)
[v19.1120.2300] standardizing apart @forAll and @forSome variable names using well-known genid URIs
[v19.1104.2254] moving back to traditional N3
[v19.1020.2224] fixing --profile
[v19.1020.1832] using --plugin with any Prolog code
[v19.0928.2249] reverting to plain N3
[v19.0904.2157] the EYE source code is renamed to eye.pl and --plugin files have .pl extension
[v19.0827.0916] fixing issue with scope of existentials (obs from Dörthe Arndt)
[v19.0723.1200] using ?SCOPE e:fail {formula} instead of false <= {formula} to have scoped negation-as-failure
[v19.0714.1509] default CSV separator is , and can be overruled with --csv-separator
[v19.0711.0927] using .well-known/genid-n3 IRIs for the names of variables
[v19.0705.1450] fixing log:semantics causing unwanted --pass output (obs from Dörthe Arndt)
[v19.0702.2313] fixing issue with e:becomes (obs from Dörthe Arndt)
[v19.0604.1527] testing and working with SWI-Prolog 8.1.7
[v19.0521.1527] fixing --plugin for N3P code without scount/1
[v19.0509.1258] using latest stable SWI-Prolog 8.0.2
[v19.0221.2026] fixing exception with --proof
[v19.0202.2255] adding --csv-separator command line option to use CSV separator such as , or ;
[v19.0116.1239] changing cturtle error message (obs from Hans Cools)
[v18.1230.1307] implementing c2d:transformer in ./reasoning/c2d/c2d_rules.n3
[v18.1214.1911] reintroducing --carl switch and original N3 parser
[v18.1130.1238] updating reasoning to always use PREFIX instead of @prefix
[v18.1123.1028] removing libgmp dependency
[v18.0515.2100] making it run with SWI-Prolog 7.7.14
[v18.0417.2132] supporting abbreviated URIs when the namespace prefix ends with '/' (obs from Sander Vanden Hautte)
[v18.0409.2008] fixing log:includes and log:notIncludes (obs from Dörthe Arndt)
[v18.0312.0936] implementing abduction as successive assertion of hypotheses
[v18.0214.2047] fixing deprecated prolog:cut in conjunction with Carl (obs from Hong Sun)
[v18.0131.1741] making Carl mandatory
[v18.0131.1211] removing deprecated command line options
[v18.0117.1550] adding a few comments concerning attributed variables from the coroutining
[v18.0117.1050] replacing call_residue_vars with simple call and reverting brake mechanism
[v18.0116.1628] improving the safety of the brake mechanism
[v18.0110.1636] fixing e:becomes and e:call built-ins
[v18.0110.1518] fixing unification of exopredicates
[v18.0103.0943] testing deep indexing with swipl version 7.7.7
[v17.1228.2216] correcting conjify/2 and atomify/2 for <= rules and e:derive built-in
[v17.1204.1538] finetuning deep Just-In-Time Indexing of prfstep/7
[v17.1201.1242] improving deep indexing with swipl version 7.7.4
[v17.1117.1002] improving deep indexing for atomic terms
[v17.1116.2259] using deep indexing in proof steps to make proof chaining scalable
[v17.1111.2305] improving the implementation of --profile to just cover reasoning
[v17.1108.2040] improving the implementation of --debug-djiti
[v17.1106.2229] removing the unneeded garbage_collect_atoms in carl/2
[v17.1030.2055] fixing e:becomes with universals in the object (obs from Hong Sun)
[v17.1027.1407] fixing proof output for nested universal backward rule conclusion
[v17.1025.2201] removing all directives from N3P
[v17.1024.1424] fixing proofchain issue with --proof in conjunction with <= rules
[v17.1023.2239] fixing proofchain issue with --proof in conjunction with e:finalize
[v17.1018.0849] using --n3 <uri> instead of the <uri>
[v17.1017.0822] fixing atomify/2 for the purpose of e:derive built-in
[v17.1016.2201] adding e:compoundTerm built-in to create a compound term
[v17.1013.2031] fixing proof output for non text blobs
[v17.0928.2136] improving the performance of log:semantics when using --carl
[v17.0928.1521] introducing --carl to use http://github.com/melgi/carl thanks to Giovanni Mels
[v17.0927.2204] fixing exception in e:becomes built-in
[v17.0927.1020] fixing --pass-all for rules with univar as conclusion
[v17.0927.1001] fixing the n3p representation of rdf:nil (obs from Giovanni Mels)
[v17.0926.1547] fixing e:becomes built-in to do proper unification (obs from Hong Sun)
[v17.0926.1400] adding --source command line option to read command line arguments from file (obs from Jos De Baerdemaeker)
[v17.0926.1036] adding DJITI (Deep Just In Time Indexing) support for e:becomes built-in
[v17.0926.0932] fixing eye built-ins for false graph literals
[v17.0925.1941] adding e:becomes built-in to perform RDF linear implication i.e. retracting the subject graph and asserting the object graph
[v17.0915.1303] fixing input statement counter for cn3
[v17.0915.0910] keeping track of namespace prefixes coming from cn3
[v17.0914.1555] fixing csv output in conjunction with --cn3
[v17.0914.1240] fixing backward_rule_may_not_contain_existential_in_conclusion exception (obs from Hong Sun)
[v17.0913.1953] fixing universal variable names in proof output
[v17.0912.1602] preparing replacement of N3 parser
[v17.0910.1930] fixing deep just-in-time indexing issue for proof steps
[v17.0908.2321] fixing undefined procedure errors in EAM (Euler Abstract Machine)
[v17.0908.1137] fixing e:distinct for lists containing universals (obs from Hong Sun)
[v17.0907.1215] implementing e:graphMember built-in to get the triples from the subject graph
[v17.0905.1354] fixing critical bug in e:derive
[v17.0904.2007] fixing proofs with e:calculate and e:derive
[v17.0901.1423] fixing streaming reasoning
[v17.0830.2107] simplifying n3p by dropping pred/1
[v17.0829.1320] fixing issue with exopred/3 (obs from Dörthe Arndt)
[v17.0829.0835] reverting e:roots built-in to solve polynomial equations of degree 4
[v17.0811.0745] deprecating prolog: built-ins and using e:calculate and e:derive instead
[v17.0810.2104] fixing issue with linear logic implementation
[v17.0807.1020] adding e:firstRest built-in to convert a list into its first rest tuple
[v17.0806.0020] adding --prolog <uri> and testing with http://josd.github.io/marble/marble.prolog
[v17.0725.2216] adding e:graphPair built-in used for graph/pair transformation e.g. {:a :b :c. :d :e :f. :g :h :i} e:graphPair ({:a :b :c} {:d :e :f. :g :h :i})
[v17.0724.1558] removing whitespace at end of line
[v17.0718.2310] adding e:avg, e:cov and e:std built-ins to calculate the average, the sample covariance and the sample standard deviation
[v17.0718.1402] adding e:pcc and e:rms built-ins to calculate the Pearson correlation coefficient and the root mean square
[v17.0713.1519] using http://eyereasoner.github.io/eye/.well-known/genid/# Skolem IRIs
[v17.0710.0913] fixing e:transpose
[v17.0705.2041] adding prolog:random_float built-in to generate a random float r for which 0.0 < r < 1.0
[v17.0703.0814] adding e:roots built-in to solve polynomial equations of degree 4
[v17.0613.1259] adding prolog:consult and prolog:shell built-ins
[v17.0610.2146] using JIT indexes over multiple arguments
[v17.0530.1245] improving the style of generated code
[v17.0525.2026] improving --plugin option to deal with prolog code
[v17.0524.2340] using generic prolog:call instead of specific built-ins
[v17.0511.0837] fixing roundtripping of prolog:conjunction triples
[v17.0510.0856] adding e:transpose built-in
[v17.0504.2009] fixing the use of garbage_collect_atoms for streaming reasoning
[v17.0504.1355] making the performance of e:labelvars linear (obs from Hong Sun)
[v17.0502.1032] adjusting the calling of garbage_collect_atoms
[v17.0424.2043] fixing critical linear logic bug (obs from Hong Sun)
[v17.0421.2304] fixing e:trace so that it doesn't affect bindings
[v17.0407.1501] fixing critical resource leak in streaming reasoning
[v17.0406.2040] removing duplicate triples in e:graphDifference and e:graphIntersection (obs from Dörthe Arndt)
[v17.0406.1259] fixing issue with empty graphs in log:conjunction (obs from Dörthe Arndt)
[v17.0405.2137] fixing issue with universals in log:conjunction and e:graphList (obs from Dörthe Arndt)
[v17.0403.1934] improving the translation of N3 formulae to avoid running out of C stack
[v17.0403.0806] refactoring N3 formulae from cn/1 to ,/2
[v17.0330.2029] fixing wrong comments in the output of --n3p
[v17.0327.1209] adding streaming reasoning header and footer comments
[v17.0327.0947] improving memory footprint for streaming reasoning
[v17.0323.1113] adding e:stringReverse built-in (obs from Kristof Depraetere)
[v17.0323.0016] output of --streaming-reasoning is now N3
[v17.0315.0907] adding --random-seed command line option to create random seed (obs from Hong Sun)
[v17.0310.2303] fixing the cache lookup of e:labelvars (obs from Dörthe Arndt)
[v17.0310.1131] the scope of implicit existentials is the direct formula in which they occur
[v17.0307.1654] throwing an exception when the gmp library is not installed (obs from Carsten Klee)
[v17.0303.1424] adding e:multisetEqualTo and e:multisetNotEqualTo built-ins (obs from Hong Sun)