EYE release

v11.16.0 (2025-04-20) removing --prolog and using eyereasoner/eyelet instead
v11.15.0 (2025-04-11) adding --prolog <uri> Prolog facts and rules
v11.14.2 (2025-04-07) reverting --query fix https://github.com/eyereasoner/eye/commit/bdf9326e0eeabfc504ad6081b4028449877d34ac
v11.14.1 (2025-04-04) adding --sparql-backward <uri> and --sparql-forward <uri>
v11.14.0 (2025-04-03) writing rules as CONSTRUCT conclusion_n3_graph_term WHERE premise_n3_graph_term in separate .rq files
v11.13.6 (2025-04-02) fixing logos queries
v11.13.5 (2025-04-02) fixing --query for logos
v11.13.4 (2025-03-27) further fixing output of functional terms
v11.13.3 (2025-03-26) fixing output of functional terms
v11.13.2 (2025-03-25) using log:pro instead of log:program
v11.13.1 (2025-03-25) fixing functional terms
v11.13.0 (2025-03-25) reintroducing (| functor args |) functional terms
v11.12.12 (2025-03-21) adding switch --no-call-residue-vars (no check for residue vars for forward rules) to fix issue https://github.com/eyereasoner/eye/issues/145
v11.12.11 (2025-03-21) fixing issue https://github.com/eyereasoner/eye/issues/145
v11.12.10 (2025-03-19) fixing default quantify uri prefix
v11.12.9 (2025-03-18) adding default quantify uri prefix
v11.12.8 (2025-03-18) fixing nexus and run ldes example
v11.12.7 (2025-03-18) adding eye/nexus
v11.12.6 (2025-03-18) reverting nexus and using webized prolog instead
v11.12.5 (2025-03-17) fixing nexus issue with getterm/2
v11.12.4 (2025-03-16) arvol/plexus is now running with trealla
v11.12.3 (2025-03-15) fixing nexus for inference fuse
v11.12.2 (2025-03-15) fixing nexus
v11.12.1 (2025-03-15) fixing nexus
v11.12.0 (2025-03-15) initial nexus implementation using RDF 1.0 with reasoning/socrates-nexus example
v11.11.5 (2025-03-13) embedding arvol
v11.11.4 (2025-03-12) fixing format strings
v11.11.3 (2025-03-12) using library(apply)
v11.11.2 (2025-03-12) fixing arvol inference fuse
v11.11.1 (2025-03-11) refactoring eye arvol machine
v11.11.0 (2025-03-11) adding --arvol switch to support webized prolog
v11.10.0 (2025-03-07) fixing issue https://github.com/eyereasoner/eye/issues/142
v11.9.14 (2025-03-04) fixing issue https://github.com/eyereasoner/eye/issues/141#issuecomment-2696250007
v11.9.13 (2025-03-03) fixing issue https://github.com/eyereasoner/eye/issues/141
v11.9.12 (2025-03-02) using log:program and log:programTerm to support logic programming applications
v11.9.7 (2025-02-25) fixing issue https://github.com/orgs/eyereasoner/discussions/139#discussioncomment-12310146
v11.9.4 (2025-02-24) fixing issue https://github.com/orgs/eyereasoner/discussions/139#discussioncomment-12301405
v11.9.3 (2025-02-24) fixing issue https://github.com/eyereasoner/eye/issues/140
v11.9.2 (2025-02-24) dropping log:compoundTerm and using log:herbrand instead
v11.9.1 (2025-02-23) adding log:compoundTerm built-in
v11.9.0 (2025-02-23) making pl3 branch and using log:herbrand instead
v11.8.2 (2025-02-23) fixing tabling per https://github.com/orgs/eyereasoner/discussions/139#discussioncomment-12290395
v11.8.1 (2025-02-21) supporting --pl3 <uri>
v11.8.0 (2025-02-21) adding log:table feature https://github.com/orgs/eyereasoner/discussions/139
v11.7.7 (2025-02-20) dynify predicates in --pl3 files
v11.7.6 (2025-02-19) fixing issue https://github.com/eyereasoner/eye/issues/138
v11.7.5 (2025-02-19) using --pl3 switch instead of --prolog
v11.7.4 (2025-02-18) adding flag(rdfpackages)
v11.7.3 (2025-02-17) fixing rdfpackages
v11.7.2 (2025-02-16) fixing eam/1 before eam/0
v11.7.1 (2025-02-16) enabling eam/1 before eam/0
v11.7.0 (2025-02-15) introducing --prolog switch
v11.6.3 (2025-02-14) fixing issue https://github.com/eyereasoner/eye/issues/137
v11.6.2 (2025-02-13) changing the output of log:conclusion back to --pass-all
v11.6.1 (2025-02-13) fixing issue https://github.com/eyereasoner/eye/issues/136
v11.6.0 (2025-02-09) fixing issue https://github.com/eyereasoner/eye/issues/134
v11.5.9 (2025-02-08) fixing https://github.com/eyereasoner/eye/issues/134
v11.5.8 (2025-02-06) fixing issue https://github.com/eyereasoner/eye/issues/130
v11.5.7 (2025-02-05) moving --prolog to https://github.com/eyereasoner/eyelog
v11.5.6 (2025-02-04) dropping --no-step and using --nope instead
v11.5.5 (2025-02-03) adding --no-steps command line switch to have no proof steps for --prolog
v11.5.4 (2025-02-03) using --prolog instead of --eyelog
v11.5.3 (2025-01-29) using context rules to webize
v11.5.2 (2025-01-27) fixing issue https://github.com/eyereasoner/eye/issues/128
v11.5.1 (2025-01-26) fixing --eyelog
v11.5.0 (2025-01-26) introducing --eyelog option to run eyelog webized prolog
v11.4.8 (2025-01-22) fixing issue https://github.com/eyereasoner/eye/issues/123
v11.4.7 (2025-01-16) adding --analytic-proof switch to have proofs that contain component lemmas
v11.4.6 (2025-01-13) further fixing issue https://github.com/eyereasoner/lib-owl/issues/1
v11.4.5 (2025-01-11) fixing issue https://github.com/eyereasoner/lib-owl/issues/1
v11.4.4 (2025-01-10) adding list:permutation built-in
v11.4.3 (2025-01-09) investigating alternative proofs
v11.4.2 (2025-01-08) fixing within_scope(Context, -1) which should be used in backward rules
v11.4.1 (2025-01-07) improving --explain
v11.4.0 (2025-01-06) dropping --plus and using --n3p instead
v11.3.0 (2025-01-05) introducing eye --plus <pl-file> to run prolog with bottom-up steps
v11.2.11 (2025-01-04) fixing --plato
v11.2.10 (2025-01-03) fixing --plato for existential rules
v11.2.9 (2025-01-03) renaming to plato (prolog with IRI atoms)
v11.2.8 (2025-01-02) renaming to wepl (webized prolog)
v11.2.7 (2025-01-02) updating to 'Copyright 2006-2025 Jos De Roo, KNoWS office of IDLab, Ghent University - imec'
v11.2.6 (2025-01-01) updating to 2006-2025

v11.2.5 (2024-12-30) adding proof steps for inference fuse
v11.2.4 (2024-12-30) adding proof step for query
v11.2.3 (2024-12-29) improving output for --logic-program
v11.2.2 (2024-12-28) using :+ instead of := for bottom-up reasoning
v11.2.1 (2024-12-27) fixing --logic-program <pl-file> option
v11.2.0 (2024-12-27) adding --logic-program <pl-file> option
v11.1.4 (2024-12-23) using log:explains instead of log:proves
v11.1.3 (2024-12-23) using --explain instead of --ether
v11.1.2 (2024-12-20) replacing list:quicksort with (list ordering) list:sort sortedList where ordering can be "<", "=<", ">" and ">="
v11.1.1 (2024-12-20) adding list:quicksort built-in which is not removing duplicates
v11.1.0 (2024-12-18) reverting to rdfsurfaces implementation in eye v10
v11.0.2 (2024-12-17) adding log:callWithDisjunction built-in
v11.0.1 (2024-12-15) adding list:intersection back
v11.0.0 (2024-12-14) rdfsurfaces are now implemented as N3 rules https://github.com/eyereasoner/rdfsurfaces-tests/blob/main/lib/rdfsurfaces.n3
v10.30.17 (2024-12-11) fixing log:satisfiable
v10.30.16 (2024-12-09) fixing string:substring
v10.30.15 (2024-12-09) adding log:satisfiable built-in
v10.30.14 (2024-12-09) fixing log:conclusion
v10.30.13 (2024-12-07) using lists for compound terms
v10.30.12 (2024-12-06) fixing log:call
v10.30.11 (2024-11-28) reverting the fix of log:includes and log:notIncludes (obs from Dörthe Arndt)
v10.30.10 (2024-11-27) fixing log:includes and log:notIncludes (obs from Dörthe Arndt)
v10.30.9 (2024-11-27) slight output speed improvement
v10.30.8 (2024-11-26) fixing opts/2
v10.30.7 (2024-11-26) changing --proof-explanation to --ether (explain the reasoning)
v10.30.6 (2024-11-25) adding --proof-explanation command line switch to output proof explanation using log:proves
v10.30.5 (2024-11-22) experimental (functor; args) compound terms
v10.30.4 (2024-11-19) simplify negative answer surfaces
v10.30.3 (2024-11-13) solving issue https://github.com/eyereasoner/eye/issues/121
v10.30.2 (2024-11-11) adjusting to https://eyereasoner.github.io/eye/#eye-color
v10.30.1 (2024-11-08) dropping --prolog and using --n3p instead
v10.30.0 (2024-11-07) using lists as compounds and adding experimental --prolog to use prolog code
v10.29.1 (2024-11-06) adding list:compound built-in to convert list tofro compound term
v10.29.0 (2024-11-05) introducing ^(functor args) compound terms
v10.28.9 (2024-11-04) using RDF Proofs
v10.28.8 (2024-11-03) using proofpackets instead of reasongraphs
v10.28.7 (2024-11-02) using reasongraphs instead of rdfproof
v10.28.6 (2024-10-31) fixing --rdf-trig-output (no duplicated output)
v10.28.5 (2024-10-30) having _:bng_i blank node graph labels
v10.28.4 (2024-10-30) fixing backard rules and queries for rdfproof
v10.28.3 (2024-10-30) implementing (rule instantiated_premise) log:proves instantiated_conclusion
v10.28.2 (2024-10-29) running rdfproof
v10.28.1 (2024-10-27) improving rdflogic performance
v10.28.0 (2024-10-26) having RDF Logic with blank node graphs
v10.27.9 (2024-10-26) dropping log:univ
v10.27.8 (2024-10-26) adding log:univ built-in and fixing rdflogic output
v10.27.7 (2024-10-24) adding log:univ to support rdflogic
v10.27.6 (2024-10-23) fixing issue https://github.com/eyereasoner/eye/issues/120
v10.27.5 (2024-10-23) fixing getterm/2 for log:isFunctorOf
v10.27.4 (2024-10-23) back to functional terms as reifiedtriples << functor log:isFunctorOf (arguments) >>
v10.27.3 (2024-10-23) fixing --pass-only-new for rdflogic
v10.27.2 (2024-10-23) using log:term instead of log:isFunctorOf
v10.27.1 (2024-10-23) fixing reifiedtriple in getterm/2
v10.27.0 (2024-10-22) supporting functional terms as reifiedtriples << functor log:isFunctorOf (arguments) >>
v10.26.4 (2024-10-20) passing --no-bnode-relabeling flag to log:conclusion
v10.26.3 (2024-10-18) further support for reasoning/n3plus1 (N3 plus increments like RDF 1.1, RDF 1.2, functional terms, ...)
v10.26.2 (2024-10-18) testing reasoning/n3+1
v10.26.1 (2024-10-18) introducing (~ functor args) functional terms
v10.26.0 (2024-10-18) using RDF star to describe logic rules and queries
v10.25.2 (2024-10-17) having functional terms as reifiedtriples << functor func:args (arguments) >>
v10.25.1 (2024-10-17) having functional terms as triple terms <<( functor func:args (arguments) )>>
v10.25.0 (2024-10-17) introducing (^ functor args) functional terms
v10.24.23 (2024-10-16) adding list:reverse built-in and rdfdatasets lee example
v10.24.22 (2024-10-15) not asserting graph:statement when the name is in use
v10.24.21 (2024-10-12) simplifying quads and rdfsurfaces
v10.24.20 (2024-10-11) preparing rdf12 support
v10.24.19 (2024-10-11) fixing issue with rdfsurfaces in cgs (closed graph semantics)
v10.24.18 (2024-10-10) fixing graph:statement for cgs (closed graph semantics)
v10.24.17 (2024-10-09) fixing log:query for bng (blank node graphs)
v10.24.16 (2024-10-07) adding extra ("skolem-genid" "your-genid" args) log:skolem iri
v10.24.15 (2024-10-06) refactoring graph statement maps
v10.24.14 (2024-10-05) fixing https://github.com/eyereasoner/eye/issues/118 for gsm
v10.24.13 (2024-10-05) fixing https://github.com/eyereasoner/eye/issues/118
v10.24.12 (2024-10-03) fixing --trig-output
v10.24.11 (2024-10-02) improving resolve negative surfaces
v10.24.10 (2024-10-02) reintroducing --trig-output command line switch
v10.24.9 (2024-10-02) fixing rdfsurfaces expressed in trig and running on gsm.n3
v10.24.8 (2024-10-01) refactoring support for gsm
v10.24.7 (2024-10-01) fixing dynamic predicates
v10.24.6 (2024-10-01) fixing rdfsurfaces
v10.24.5 (2024-09-30) running cases in reasoning/gsm
v10.24.4 (2024-09-30) fixing trig output with rdf:value
v10.24.3 (2024-09-29) fixing graph:statement built-in to unify and generate TriG graph statements
v10.24.2 (2024-09-29) using graph:statement instead of graph:namedGraph
v10.24.1 (2024-09-25) reverting reifiedTriple implementation
v10.24.0 (2024-09-25) fixing reifiedTriple implementation
v10.23.4 (2024-09-25) running with rdf12 reifier
v10.23.3 (2024-09-23) fixing makevars zeta
v10.23.2 (2024-09-22) fixing log:copy
v10.23.1 (2024-09-22) running reasoning/lingua/lingua.n3
v10.23.0 (2024-09-19) only basic trig processing
v10.22.6 (2024-09-12) testing Skolem blank node graphs
v10.22.5 (2024-09-11) fixing issue https://github.com/eyereasoner/eye/issues/117
v10.22.4 (2024-09-09) fixing named graph output
v10.22.3 (2024-09-09) fixing named graph output
v10.22.2 (2024-09-09) dropping log:imports but use command line arguments
v10.22.1 (2024-09-09) only TriG output when using --trig-output
v10.22.0 (2024-09-09) working with graph:namedGraph triples
v10.21.0 (2024-09-07) using graph:content and graph:isContentOf instead of graph:statement
v10.20.10 (2024-09-07) using graph:statement instead of graph:is to pair an IRI or blank node with a RDF graph
v10.20.9 (2024-09-06) fixing --trig-output for log:query
v10.20.8 (2024-09-05) fixing --trig-output in conjunction with --pass-all
v10.20.7 (2024-09-05) using graph:is for trig (see reasoning/n3trig example)
v10.20.6 (2024-09-04) simplifying quad processing and testing it in reasoning/n3trig
v10.20.5 (2024-09-04) improving creation of trig graphs
v10.20.4 (2024-09-04) fixing string:substring built-in
v10.20.3 (2024-09-04) further fixing issue https://github.com/eyereasoner/eye/issues/108
v10.20.2 (2024-09-04) further fixing issue https://github.com/eyereasoner/eye/issues/115
v10.20.1 (2024-09-03) fixing log:callWithCut built-in
v10.20.0 (2024-09-03) integrating lingua into eye
v10.19.9 (2024-09-01) further fixing issue https://github.com/eyereasoner/eye/issues/115
v10.19.8 (2024-08-30) fixing issue https://github.com/eyereasoner/eye/issues/115
v10.19.7 (2024-08-24) fixing query generation
v10.19.6 (2024-08-24) fixing issue https://github.com/eyereasoner/eye/issues/113
v10.19.5 (2024-08-22) fixing rdfsurfaces blow inference fuse
v10.19.4 (2024-08-20) optimizing getlist/2 with flag(rdflists)
v10.19.3 (2024-08-14) fixing issue with writing qnames
v10.19.2 (2024-08-13) functional terms again as lists (functor args)
v10.19.1 (2024-08-13) output only used namespace prefixes
v10.19.0 (2024-08-12) changing functional terms to [| functor args |]
v10.18.6 (2024-08-12) autodetecting single answer for rdfsurfaces
v10.18.5 (2024-08-12) supporting log:Component for rdfsurfaces
v10.18.4 (2024-08-11) further fixing rdfsurfaces conversion
v10.18.3 (2024-08-11) fixing rdfsurfaces conversion
v10.18.2 (2024-08-10) supporting log:onNegativeSurface via prepare_builtins/0 and dropping log:onQuerySurface
v10.18.1 (2024-08-09) testing universality
v10.18.0 (2024-08-08) replace log:onNegativeQuestionSurface with log:onNegativeSurface
v10.17.3 (2024-08-07) removing halting counter for rdfsurfaces
v10.17.2 (2024-08-01) extending (| :f :a :b |) log:rawType log:FunctionalTerm.
v10.17.1 (2024-07-31) fixing functional terms to (| functor args |)
v10.17.0 (2024-07-31) experimental (functor | args) functional terms
v10.16.26 (2024-07-27) fixing halting issue for rdfsurfaces
v10.16.25 (2024-07-22) fixing issue https://github.com/eyereasoner/eye/issues/108#issuecomment-2242525052
v10.16.24 (2024-07-18) fixing issue https://github.com/eyereasoner/eye/issues/110
v10.16.23 (2024-07-16) using =^ as syntactic sugar for log:query
v10.16.22 (2024-07-14) using log:onNegativeQuestionSurface instead of log:onNegativeComponentSurface
v10.16.21 (2024-07-12) adding simplify disjunctive negative surfaces
v10.16.20 (2024-07-09) fixing convert negative surfaces to forward rules
v10.16.19 (2024-07-05) simplifying flat negative surfaces
v10.16.18 (2024-07-03) dealing with dynamic/1 for --intermediate
v10.16.17 (2024-07-03) fixing --intermediate to not do reasoning and dropping --n3p-output
v10.16.16 (2024-07-01) fixing --quiet in image
v10.16.15 (2024-06-26) adding log:isBuiltin builtin
v10.16.14 (2024-06-25) fuse detection without need for query and |^| as syntactic sugar for log:query
v10.16.13 (2024-06-24) using implication normal form with list conclusions as disjunctions
v10.16.12 (2024-06-22) switching to implication normal form
v10.16.11 (2024-06-18) using ⇑ as syntactic sugar for log:query
v10.16.10 (2024-06-17) moving back to original proofs for rdfsurfaces counting on built-ins
v10.16.9 (2024-06-16) improving --intermediate with dynmic declarations
v10.16.8 (2024-06-15) improving on universal quantification
v10.16.7 (2024-06-15) reverting the fix to simplify negative surfaces for https://github.com/RebekkaMa/rs2fol/blob/master/examples/sequent-calculus/combined-rules/universal-quantification/universal_6_d.n3s
v10.16.6 (2024-06-15) explanation output for inference fuses and fixing simplify negative surfaces for https://github.com/RebekkaMa/rs2fol/blob/master/examples/sequent-calculus/combined-rules/universal-quantification/universal_6_d.n3s
v10.16.5 (2024-06-15) fixing tr_tr/2 for https://github.com/RebekkaMa/rs2fol/blob/master/examples/sequent-calculus/combined-rules/universal-quantification/universal_4_d.n3s
v10.16.4 (2024-06-14) fixing graffiti relabeling
v10.16.3 (2024-06-14) fixing explanation output for rdfsurfaces
v10.16.2 (2024-06-11) using triangle arrow |> as shorthand for log:query
v10.16.1 (2024-06-11) fixing issue https://github.com/eyereasoner/eye/issues/103
v10.16.0 (2024-06-11) reverting rdfsurfaces plugin to builtin
v10.15.1 (2024-06-10) fixing inference fuse output
v10.15.0 (2024-06-10) working with rdfsurfaces.n3p EYE plugin
v10.14.1 (2024-06-09) using =^ as shorthand for log:query
v10.14.0 (2024-06-08) initial bfq
v10.13.6 (2024-06-08) fixing rdfsurfaces explanations
v10.13.5 (2024-06-07) fixing resolve negative surfaces
v10.13.4 (2024-06-06) fixing rdfsurfaces explanations
v10.13.3 (2024-06-06) extending rdfsurfaces explanations
v10.13.2 (2024-06-06) simplifying rdfsurfaces
v10.13.1 (2024-06-05) fixing rdfsurfaces explanations
v10.13.0 (2024-06-05) initial explanations for rdfsurfaces
v10.12.0 (2024-06-04) creating rdfsurfacesrdf branch and fixing issue with rdfsurfaces-tests socrates2.n3s
v10.11.6 (2024-06-03) fixing list:length
v10.11.5 (2024-06-03) throwing malformed_graph_term/1 exception
v10.11.4 (2024-06-03) simplifying rdfsurfaces
v10.11.3 (2024-06-02) adding log:graffiti built-in
v10.11.2 (2024-06-01) fixing inference fuse output
v10.11.1 (2024-06-01) fixing log:onQuerySurface
v10.11.0 (2024-05-31) using RDF Surfaces predicates for RDF Surfaces expressed in RDF
v10.10.0 (2024-05-29) readding log:onQuerySurface
v10.9.3 (2024-05-27) fixing graph output for surfaces
v10.9.2 (2024-05-26) fixing rdfsurfaces in rdf for --turtle
v10.9.1 (2024-05-26) fixing rdfsurfaces expressed in rdf
v10.9.0 (2024-05-26) experimental rdfsurfaces expressed in rdf
v10.8.3 (2024-05-25) making branch rdfbng
v10.8.2 (2024-05-24) improving holog with log:conjoin functional terms
v10.8.1 (2024-05-24) fixing holog with getterm/2
v10.8.0 (2024-05-24) experimental holog
v10.7.17 (2024-05-23) reverting background graph
v10.7.16 (2024-05-22) using blanknode backgound graphs for rdfbng answers
v10.7.15 (2024-05-22) working gehl graphs expressing Horn logic
v10.7.14 (2024-05-21) using dynify/1 for lingua
v10.7.13 (2024-05-21) lingua as logic integrated in RDF graphs
v10.7.12 (2024-05-18) fixing explanation for rule derivation in holographs
v10.7.11 (2024-05-18) fixing explanation for holographs
v10.7.10 (2024-05-17) fixing inference fuse for holographs
v10.7.9 (2024-05-17) always giving explanations for holographs
v10.7.8 (2024-05-17) adding explanation capability for holographs
v10.7.7 (2024-05-16) adding rdflingua
v10.7.6 (2024-05-16) always doing bnode relabeling except when flag --no-bnode-relabeling
v10.7.5 (2024-05-14) introducing =>> as syntactic sugar for log:query
v10.7.4 (2024-05-13) fixing rdfsurfaces regression
v10.7.3 (2024-05-12) adding log:impliesOneOf to support first order logic
v10.7.2 (2024-05-06) back to log:query and using premise => 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)
[v17.0222.1246] fixing the unification in log:equalTo (obs from Dörthe Arndt)
[v17.0218.2321] fixing log:includes and log:notIncludes for empty graphs
[v17.0217.1259] fixing e:calculate to fail when there is an exception (obs from Herman Muys)
[v17.0217.1257] fixing the use of universals in log:conjunction
[v17.0216.2023] fixing the use of universals in e:graphDifference
[v17.0215.2319] fixing the use of universals in e:graphIntersection (obs from Dörthe Arndt)
[v17.0214.2123] adding e:ignore built-in to call the object formula within the subject scope and to succeed anyway but only once
[v17.0208.1332] using e:subsequence instead of e:sublist (obs from Giovanni Mels)
[v17.0208.1103] improving e:sublist so that (1 2 3 4 5) e:sublist (1 2 4) is the case (obs from Hong Sun)
[v17.0207.1536] fixing string: comparison built-ins to deal with uris (obs from Hong Sun)
[v17.0207.1438] correcting <= built-in so that it finds all answers (obs from Hong Sun)
[v17.0203.1445] implementing --tactic limited-answer <record-count> for CSV output (obs from Jos De Baerdemaeker)
[v17.0201.1921] preparing for --n3 input generated by cn3
[v17.0201.0840] fixing startup when using SWI-Prolog 6.6.4 (obs from So-hyun)
[v17.0131.1541] improving e:calculate to accept numeric datatype literals
[v17.0131.1345] reimplementing e:sublist which was broken (obs from Hong Sun)
[v17.0127.1613] reverting the interpretation of P => P
[v17.0127.0006] refactoring N3 formulae
[v17.0126.1508] fixing <= built-in so that graph built-ins work correctly (obs from Dörthe Arndt)
[v17.0125.2247] modifying the implementation of log:includes
[v17.0125.1018] removing e:disjunction and simplifying N3 parsing
[v17.0124.1445] standardizing apart implicit existentials and throwing premise_rule_may_not_contain_existential_in_premise exception
[v17.0117.2134] throwing derived_rule_may_not_contain_existential_in_premise exception
[v17.0117.1638] adding experimental e:calculate built-in http://eulersharp.sourceforge.net/2003/03swap/log-rules.html#calculate
[v17.0116.1719] correcting the output of lists in N-Triples files (obs from Ruben Verborgh)
[v17.0113.1339] fixing invalid_prolog_builtin exception (obs from Elric Verbruggen)
[v17.0112.2155] adding prolog:copy_term_nat to copy a term for which attributes are not copied
[v17.0110.1302] working with SWI-Prolog 7.3.35
[v17.0106.2058] fixing @forAll and @forSome (obs from Dörthe Arndt)
[v17.0103.1920] updating --license

[v16.1221.2306] 2 part source code: GRE (Generic Reasoning Engine) supporting Explainable Reasoning and EAM (Euler Abstract Machine) supporting Unifying Logic
[v16.1220.2028] fixing bug with log:implies built-in (obs from Dörthe Arndt)
[v16.1220.1724] correcting the output of existentials in derived rules (obs from Dörthe Arndt)
[v16.1219.2244] dropping beta status
[v16.1215.2050] the scope of implicit universals in C0 is C0
[v16.1209.1430] deprecating --brake and --step options and using tactics instead
[v16.1209.1357] adding --tactic limited-brake <count> to take only a limited number of brakes
[v16.1209.1002] using --tactic limited-answer 1 instead of --tactic single-answer
[v16.1208.2221] adding --tactic limited-step <count> to take only a limited number of steps
[v16.1207.1437] fixing --pass-all to adjust the scope of implicit universals (obs from Dörthe Arndt)
[v16.1207.1057] fixing --pass to support partial conclusions
[v16.1202.1501] fixing issue with proof output for backward rules
[v16.1202.1010] fixing e:call to deal with variable formulae
[v16.1130.1446] giving output information about networking as early as possible
[v16.1130.1407] fixing poor indexing issue in proof generation
[v16.1129.2350] fixing issue with proof output containing empty graphs
[v16.1129.1224] implementing proof explanation for e:call
[v16.1128.2230] completing proof output for e:finalize
[v16.1125.1306] fixing issue with universals in pvm image
[v16.1123.1645] improving the message at the end of a reasoning run
[v16.1121.1307] dropping --pvm and --plugin-pvm options
[v16.1115.1242] improving DJITI (Deep Just In Time Indexing) for rdf:type predicate
[v16.1115.0003] improving e:call to deal with universals in C0
[v16.1114.1604] dropping e:assert e:retract and e:makevars
[v16.1027.1037] replacing the broken e:entails and e:notEntails with e:call and e:fail
[v16.1027.0849] simplifying e:makevars built-in
[v16.1024.2207] correcting e:makevars built-in to make an ungrounded copy of the subject
[v16.1019.2046] fixing e:retract so that it binds the variables (obs from Hong Sun)
[v16.1019.1357] fixing output for {} predicates (obs from Dörthe Arndt)
[v16.1018.2004] deprecating e:true built-in
[v16.1018.1814] changing e:entails and e:notEntails to have a scope subject (obs from Dörthe Arndt)
[v16.1018.1140] adding e:makevars built-in to make a no-skolem copy of the subject
[v16.1014.1907] simplifying --proof lemma handling
[v16.1014.0938] fixing integrity issue with e:retract
[v16.1012.0824] adding e:finalize built-in to call object formula exactly once after subject formula is finished
[v16.1010.2024] adding e:assert and e:retract built-ins
[v16.1006.1145] fixing issue with coroutining
[v16.1005.1425] adding e:notEntails built-in
[v16.1004.1019] fixing missing quotes for options --curl-http-header and --debug
[v16.1003.2049] improving e:entails so that it is scoped
[v16.1002.2113] adding e:entails built-in


[EYE-Summer16]
- improving log:semantics error messages (obs from Elric Verbruggen)
- correcting --pass-all-ground for blank nodes in conclusions (obs from Hong Sun)
- deprecating --think because it is incomplete
- fixing issue with blank node conclusions (obs from Dörthe Arndt)
- fixing issue with blank nodes occurring in derived log:implies triples (obs from Dörthe Arndt)
- refactoring EAM (Euler Abstract Machine)
- removing base_may_not_contain_hash exception (obs from Ruben Verborgh)
- correcting HTTP Accept: header when calling curl (obs from Boris De Vloed)
- adding --curl-http-header command line option to pass HTTP headers to curl (obs from Jos De Baerdemaeker)
- adding HTTP Accept: header when calling curl (obs from Kristof Depraetere)
- adding e:stringSplit built-in to split a string into a list of strings (obs from Hong Sun)
- fixing --pass-all and --pass-all-ground to eliminate duplicate results (obs from Hong Sun)
- supporting --wcache with prefix of uri and prefix of file
- improving performance of deep taxonomy case http://github.com/eyereasoner/eye/tree/master/reasoning/dt with proof output
- improving performance of --multi-query with proof output
- fixing issue with e:csvTuple proof output
- fixing indentation in proof output
- making the connection between blank nodes in the proof output (obs from Dörthe Arndt)
- fixing scoping issue with existential rules (obs from Dörthe Arndt)
- standardizing variables apart in proof output
- improving command line option handling
- improving DJITI (Deep Just In Time Indexing) for primary arguments of compound terms
- fixing proof output for empty r:gives (obs from Hong Sun)
- improving networking info on stderr
- fixing log:rawType for blank nodes (obs from Hong Sun)
- fixing proof output for SWIPL 6 kernel 
- the EYE source code euler.yap is now renamed to eye.prolog
- improving the parsing speed by optimizing escape_squote/2
- giving a warning when curl and cturtle are not installed
- correcting output_statements counter for --think (obs from Hong Sun)
- fixing --strings without --nope (obs from Hong Sun)
- fixing issue with duplicate triples in the answers coming from queries together with --pass (obs from Hong Sun)
- fixing --image to store the EYE options (obs from Hong Sun)
- refactoring the handling of EYE options
- supporting DJITI which is standing for 'Deep Just In Time Indexing'
- ETC http://github.com/josd/etc is used to verify EYE releases
- fixing scoping issue with the deprecated @forSome (obs from Dörthe Arndt)
- fixing --plugin for ground backward rules (obs from Dörthe Arndt)
- adding e:skolem built-in to generate a Skolem IRI object which is a function of the arguments in the subject list
- improving proofs for --think

[EYE-Spring16]
- fixing circular proofs that were wrongly using r:Fact evidence (obs from Hong Sun)
- removing orphan lemmas in proof output (obs from Hong Sun)
- updating EYE_INSTALL to put swipl, curl and cturtle in the path environment variable (obs from Kristof Depraetere)
- fixing --think performance degradation for backward rules (rules using <= in N3)
- fixing circular proof when using --think option (obs from Giovanni Mels)
- fixing --think performance degradation for http://github.com/eyereasoner/eye/tree/master/reasoning/djiti
- fixing jiti (just in time indexing) issue for the proof generation (obs from Hong Sun)
- avoiding redundant lemmas in r:evidence when using --think option
- fixing infinite loop when using --think option in conjuction with e:optional
- fixing infinite loop in RESTdesc preproof when using --think option (obs from Giovanni Mels)
- reintroduce --think option to find all possible proofs (obs from Hong Sun)
- adding jiti (just in time indexing) support for exo-predicates such as (:i60 :i53 :i27) (:p 10) :o.
- changing the proof to give the full conclusion of an inference (obs from Dörthe Arndt)
- fixing bug in --pass-all-ground in conjunction with P => P (obs from Marc Twagirumukiza)
- fixing issue with single quote in URIs (obs from Jean-Marc Vanel)
- fixing the handling of Unicode surrogate pairs (obs from Kristof Depraetere)
- adding --tactic limited-answer <count> to give only a limited numer of answers (obs from Giovanni Mels)
- improving the output of lists, sets and graphs in e:csvTuple (obs from Hong Sun)
- removing last CRLF in CSV output (obs from Samir Boudoudah)
- adding e:hmac-sha built-in together with --hmac-key=key command line option (obs from Kristof Depraetere)
- changing the proof to start with a [] (obs from Dörthe Arndt)
- e:sha, e:csvTuple and the generated id for Skolem IRIs are now using modified base64 for XML identifiers (obs from Hong Sun)
- giving an ERROR when swipl package clib is not installed
- using P => P instead of false <= P to express a query
- improving the performance of distinct_hash/2 when using SWIPL 7.3
- running Turtle_tests and passed_298_out_of_298_tests
- adjusting e:csvTuple output for uris (obs from Kristof Depraetere)
- fixing --n3p in conjunction with --turtle
- adjusting the generated id for Skolem IRIs
- adding e:sha built-in
- adding crypto:sha built-in
- fixing --debug-jiti for predicates with compound subjects or objects
- fixing critical jiti (just in time indexing) bug for --multi-query
- more detailed proof output for e:optional built-in (obs from Hong Sun)
- adding MMLN (Monadic Markov Logic Network) EYE component
- fixing critical jiti (just in time indexing) bug for --pvm
- improving just in time indexing for predicates with compound subjects or objects
- fixing log:implies built-in for the scope of implicit quantified variables (obs from Dörthe Arndt)
- minor cleanup of EYE dataprocessor and backward rules

[EYE-Winter16]
- strela becomes jiti and is now indexing any compound subject or object
- fixing issue with exopred where the predicate is a graph literal
- improving performance and memory impact of proof generation
- tweaking partconc/3 to work with SWIPL 6.6.6 (obs by Boris De Vloed)
- correcting TC counter for conjunctive conclusions and adding it as etc=count logging info
- fixing empty proof for e:csvTuple queries
- fixing variable object for e:csvTuple to to select all variables (obs from Hong Sun)
- fixing e:whenGround so that when the subject is RDF ground the object is called
- fixing all built-ins which are making use of coroutining
- fixing --pass-all-ground for rules with exitentials in the premis (obs from Hong Sun)
- fixing --pass-all to include backward rules (obs from Hong Sun)
- making list:in and list:member dynamic predicates
- doing flush_output/0 right before halt/1
- setting utf8 encoding for --turtle (obs from Hong Sun)
- adding --no-genid option to not generate an id in Skolem IRIs (obs from Hong Sun)
- fixing log:includes and log:notIncludes built-ins in conjunction with log:semantics
- supporting variable object for e:csvTuple to to select all variables (obs from Hong Sun)
- fixing Skolem IRI fragments for --pass-all-ground
- fixing n3p conversion for universals in proof output
- adding e:match built-in to succeed when the object formula succeeds and to forget the bindings (thanks to Dörthe Arndt)
- supporting query-file,output-file in both the multi-queries list file and multi-query prompt (thanks to Bruno Dias)
- fixing line break issue in CSV output (obs from Ajaykumar Vasireddy)
- adding inf/sec logging for --multi-query
- fixing issue with exopred where the predicate is a literal (obs from Joachim Van Herwegen)
- fixing csv output when using e:relabel (obs from Hong Sun)
- supporting csv output for --multi-query
- throwing exception for unknown command line options
- changing out=count for csv output to the number of cells
- fixing performance issue with --pass-all
- adding logging info for --multi-query
- fixing --image for blank nodes
- improving prfstef/8 and lemma/6 indexing to get linear proof output speed (obs from Hong Sun)
- changing --turtle to use http://github.com/melgi/cturtle thanks to Giovanni Mels
- fixing csv output for --turtle input data
- introducing --strict command line switch to represent xsd decimals as rationals
- fixing --no-distinct-input option in conjunction with --pass query
- adding EYE_component_may_not_contain_existential_in_conclusion exception
- adding --no-distinct-input command line switch to have no distinct triples in the input (obs from Hong Sun)
- deprecating --no-distinct and use --no-distinct-output instead
- adding --pass-turtle switch and passed_291_out_of_291_tests
- adding extra logging info inf/in=inferences_per_input_statement
- adding --streaming-reasoning query mode to do streaming reasoning on --turtle data
- changing --turtle to use http://github.com/melgi/turtle thanks to Giovanni Mels
- fixing log:includes built-in for subject graphs with universals (obs from Dörthe Arndt)
- fixing log:implies built-in for queries (obs from Dörthe Arndt)
- fixing critical bug in e:graphCopy to avoid blank node clashes (obs from Hong Sun)
- fixing issue with @forSome in rule generation (obs from Hong Sun)
- fixing critical bug in rule generation so that a Skolem IRI is used instead of a universal
- fixing log:dtlit for prolog:atom datatypes (obs from Jean-Marc Vanel)
- tested and working with stable SWIPL 7.2.3 kernel plus clib package

[EYE-Autumn15]
- using N3 for components and rules in the output --rule-histogram
- component false <= P can be used to express query P => P
- dropping prolog:C and prolog:phrase built-ins
- expanding DCG productions into backward rules
- correcting output_statements counter for conjunctive conclusions (obs from Hong Sun)
- adding indexing to e:random (obs from Hong Sun)
- going back to original exopred/3 to regain performance
- improving e:random such that it is reproducible in function of the subject list (obs from Hong Sun)
- making string:contains and string:containsIgnoringCase more strict for datatype and language tag
- fixing e:tuple for Skolem IRIs (obs from Hong Sun)
- improving proof output for rules with empty premise (obs from Giovanni Mels)
- introducing e:weight to express the weight in MLN (Markov Logic Network) inspired descriptions
- fixing exception in string:concatenation (obs from Jean-Marc Vanel)
- extending log:dtlit to find a possible datatype for the lexical value (obs from Jean-Marc Vanel)
- introducing suboption --pass-all-ground
- fixing e:findall and e:optional for variable clauses (obs from Jean-Marc Vanel)
- fixing log:uri for literal subject (obs from Jean-Marc Vanel)
- fixing ProofEngine.java and Euler.jar (obs from Jean-Marc Vanel)
- introducing e:unique built-in to succeed when the subject object pair is unique (obs from Hong Sun)
- directing output of e:trace to stderr and fixing its output of universals
- fixing log:concjunction for universals in the subject graphs (obs from Hong Sun)
- fixing log:semantics for blank node subjects (obs from Giovanni Mels)
- dropping eam/3 and using a single EAM (Euler Abstract Machine)
- introducing e:prefix built-in to produce an object literal containing all prefixes (obs from Hong Sun)
- fixing string:concatenation and e:wwwFormEncode built-ins (obs from Hong Sun)
- tuning GRE (Generic Reasoning Engine) to improve the performance of queries
- tuning strela (stretch relax) to improve the performance of queries
- fixing prolog:getcwd built-in
- fixing issue with exopred in log:conjunction (obs from Hong Sun)
- fixing exception in pvm code generation without --nope
- using N3 in the explanation of inference_fuse (obs from Kristof Depraetere)
- a triple like ?S :p :o. is now seen as a backward rule {?S :p :o} <= true. (obs from Hong Sun)
- fixing term_expansion for --plugin-pvm
- fixing exception in image creation without --nope (obs from Kristof Depraetere)
- fixing input statement counter for images
- fixing tokenizer for tokens starting with @ and also treating ^^ as a token
- fixing relative uri when reading from stdin
- adding --debug-jiti command line switch to output debug info about JITI on stderr
- adding flag no-skolem to n3p
- fixing issue with e:relabel while using --plugin together with --pass (obs from Hong Sun)
- improving relative IRI resolution and Turtle_IRI_resolution_compliance_test gives 306 tests, 306 passed, 0 failed, 0 errored
- adding end_of_file/0 to n3p
- fixing statement counter for --plugin <n3p_resource>
- fixing proof output for images
- fixing statement counter for --plugin-pvm (obs from Kristof Depraetere)
- command line arguments via 'eye -' are now closed with newline (obs from Kristof Depraetere)
- fixing backward queries for --multi-query
- fixing resource leak in --multi-query
- improving --multi-query to run a query answer loop
- tested and working with stable SWIPL 7.2.2 kernel plus clib package

[EYE-Summer15]
- introducing --multi-query to run a query answer loop (obs from Kristof Depraetere)
- changing from walltime to cputime to calculate inf/sec
- fixing compilation of prolog built-ins for the generation of extenders
- fixing univar issue for the generation of extenders
- fixing log:dtlit for blank node lexical value in subject (obs from Giovanni Mels)
- fixing log:uri for blank node subject (obs from Giovanni Mels)
- improving relative IRI resolution thanks to SWIPL library(uri)
- introducing extenders i.e. rules using <= in N3 (obs from Dirk Colaert)
- adding --tactic=existing-path to have Euler path using homomorphism
- making implicit quantification according to http://eulersharp.sourceforge.net/2006/02swap/eye-note
- correcting bug in graph literal unifier (obs from Hong Sun)
- correcting reasoning time measurement for csv output (obs from Hong Sun)
- showing the number of csv output records (obs from Hong Sun)
- making sure that --proof does not use facts from built-ins as well as inferences from backward rules
- using less double quotes in csv output and simplifying language tags
- using curl -L to follow redirects
- adding --brake <count> command line switch to set maximimum brake count
- supporting inference fuses in queries (obs from Hong Sun)
- updating the output of --probe
- making --no-skolem dominant over --no-qvars
- changing from --no-skolem to --no-skolem <prefix> to have no uris with <prefix> in the output (obs from Dörthe Arndt)
- fixing bug in --strings command line switch (obs from Marc Twagirumukiza)
- improving --proof <uri> to use more lemmas
- adding --ignore-inference-fuse command line switch (obs from Marc Twagirumukiza)
- fixing error when using owl:sameAs rules (obs from Dörthe Arndt)
- adding --no-skolem command line switch to have no Skolem IRIs in the output (obs from Dörthe Arndt)
- fixing graph literal unification (obs from Dörthe Arndt)
- adding --proof <uri> command line switch to reuse lemmas out_there
- fixing log:conjunction for unknown graphs in the subject (obs from Dörthe Arndt)
- fixing n3p header with additional multifile/1 declarations
- extending exopred to quantify over built-in predicates (obs from Kristof Depraetere)
- fixing e:whenGround for universals in the subject
- fixing the flowpattern of e:graphList (obs from Dörthe Arndt)
- adding e:random built-in
- have to use prolog:set_random/1 instead of prolog:setrand/1 (obs from Kim Cao-Van)
- fixing make_eye_zip to have a relative path name for the files in the zipfile
- improving e:whenGround for all kinds of subjects (obs from Dörthe Arndt)
- fixing redundant output with --pass-all
- tested and working with stable SWIPL 7.2.1 kernel

[EYE-Spring15]
- fixing rdf:first and rdf:rest built-ins (obs from Ruben Verborgh)
- fixing proof output for --no-qvars (obs from Giovanni Mels)
- fixing issue with --pass-all proof
- adding e:whenGround built-in to succeed when a ground subject is equal to the object; it also succeeds when the subject is not ground
- fixing issue with implicit universals at the top level
- deprecating e:distinct and e:reverse
- deprecating @ keywords
- supporting rules with log:implies in the premis
- fixing log:dtlit for integer xsd:dateTime (obs from Marc Twagirumukiza)
- fixing proof of rule derivation as r:Fact because log:implies is a built-in
- supporting rules with log:implies in the conclusion
- extending e:label to support Skolem IRIs (obs from Giovanni Mels)
- fixing issue with Skolem IRIs used in generated rules (obs from Dörthe Arndt)
- deprecate --pass-only-new because it is not provable
- adding IO=input_triples/output_triples to #ENDS comment
- fixing issue with the combination of --tactic=linear-select and --pass
- fixing monotonicity issue in e:labelvars
- fixing bug in e:labelvars when the subject is a a single variable (obs from Dörthe Arndt)
- eye --probe is now using cputime for probing memory
- correctly show the number of output triples on stderr for --pass-only-new
- adjust --profile to show all predicates
- adjust timestamp length on stderr output
- fixing implicit quantification bug in nested rules (obs from Dörthe Arndt)
- supporting Skolem IRIs like http://eulersharp.sourceforge.net/.well-known/genid/165710554195678051784816931502136832#sk2 via --no-qvars option
- fixing --pvm and --nope for proof output
- correcting [ a r:Fact; r:gives {true}] to [ a r:Fact; r:gives true] in proof output
- fixing proof output for queries with true as premis (obs from http://eyereasoner.github.io/eye/reasoning/rgb/blueproof003.n3)
- fixing critical bug in proof output (obs from http://eyereasoner.github.io/eye/reasoning/rgb/blueproof002.n3)
- output qnames when possible
- refactoring strela (stretch relax) part of EYE
- fixing issue with redundant answers coming from multiple queries (obs from Hong Sun)
- simplifying N3 to N3P compilation of numerals
- tested and working with SWIPL 7.1.33 kernel

[EYE-Winter15]
- adding timestamp to --probe
- fixing csv output for decimals (obs from Gijs Muys)
- finetuning atom-garbage collection margin to get scalable --pvm
- fixing scount/1 and dynamic/1 in --n3p
- fixing implicit quantification in --pass-all (obs from Dörthe Arndt)
- fixing performance issue with --plugin-pvm (obs from Dörthe Arndt)
- fixing quadratic performance issue for --plugin large number of forward rules
- adding statement counter for --plugin-pvm
- fixing issue with literals in predicate position (obs from Dörthe Arndt)
- adding --pvm option to convert N3 P-code to PVM code and --plugin-pvm switch to boost loading time 2 orders of magnitude
- fixing issue with redundant answers coming from --pass-all
- fixing backward rules with predicate-variables (obs from Dörthe Arndt)
- adjusting --tactic=linear-select by rewriting a fact as true => fact
- improving --tactic=linear-select using e:transaction
- fixing prolog:throw (obs from Gijs Muys)
- adding --tactic=linear-select to select each rule only once (obs from RESTdesc_image_processing_test_case)
- more pretty printing for --n3p (obs from Gijs Muys)
- adding --tactic=single-answer to give only one answer and deprecating --single-answer
- adding exceptions to the support of @forAll (obs from Dörthe Arndt)
- fixing --no-numerals in the output
- output the total number of input statements as in=count
- fixing --n3p for rules (obs from Dörthe Arndt)
- fixing issue with bnodes in query conclusions
- fixing various built-ins dealing with numerals (obs from Hong Sun)
- automatic creation of CSV output header e.g. select_test (obs from Boris De Vloed)
- fixing issue with log:rawType built-in (obs from Dörthe Arndt)
- fixing various issues with file: uris (obs from Giovanni Mels)
- using curl instead of wget to read from the web (thanks to Mac OS X Yosemite)
- fixing log:dtlit for prolog:atom (obs from Jean-Marc Vanel)
- tested and working with SWIPL 7.1.28 kernel


[EYE-2014-12]
- do not output rules with --pass but use --pass-all instead (obs from Dörthe Arndt)
- fixing univar and exivar issues in the output of rules
- fixing univar issue in the derivation of rules
- supporting backward queries like http://raw.githubusercontent.com/josd/bmb/master/query.n3
- output timestamp, output triple count, inference count, elapsed time and inferences/sec speed
- adjusting local and global stack limits
- fixing proof explanation in the case of --plugin <n3p_resource>
- adding e:csvTuple to generate CSV output with --strings (test case select_test)
- adding prolog:getrand and prolog:setrand built-ins
- fixing e:closure built-in (obs from Gijs Muys)
- fixing bnode labels with minus sign (obs from Ruben Verborgh)
- adding --no-numerals command line switch to have no numerals in output (obs from Hong Sun)
- adding built-in_redefinition exception
- fixing log:outputString for queries (obs from Ruben Verborgh at http://github.com/RubenVerborgh/RestoProof/blob/master/step-count.n3)
- getting rid of wrong e:trace side effect (obs from Hong Sun)
- fixing e:labelvars built-in to have distinct blank node labels (obs from Hong Sun)
- fixing rule and query generation (obs from Hong Sun)
- fixing partial query answers (obs from Marc Twagirumukiza)
- adding coroutining for e:tuple built-in (obs from Hong Sun)
- fixing func:string-join RIF DTB built-in (obs from Giovanni Mels)
- improving query performance via generic answer/8 predicate
- fixing partial conclusions for RESTdesc (obs from Giovanni Mels)
- reducing memory footprint for --turtle data
- fixing redundancy issue in r:gives of proof output
- dropping prolog:new_variables_in_term and prolog:variables_within_term built-ins
- supporting partial conclusions for premis with e:optional (obs from Dirk Colaert)

[EYE-2014-09]
- no premis reordering for backward rules
- improving EYE invocation script (obs from Boris De Vloed)
- restyling --nope output of graph literals
- using --no-distinct switch to have no distinct answers in output
- reimplementing --pass and --pass-all using query/2 (obs from Hong Sun)
- fixing --pass for an EYE image that contains facts
- fixing error with --image
- correcting log:rawType built-in for the case of log:Other
- using uniform measurement unit [triples/sec] in --probe (obs from Kristof Depraetere)
- adding statement counter SC for --plugin data (obs from Kristof Depraetere)
- allowing --pass-only-new together with any other query
- fix e:relabel for --pass-only-new
- removing redundant triples in the output (obs from Hong Sun)
- reimplementing --pass-only-new command line switch (obs from Hong Sun)
- extending --statistics command line switch to output memory and process information
- reducing memory footprint for query answers
- improving strela (stretch relax) for graphs with literals
- throwing syntax error for string_error.ttl (obs from Jean-Marc Vanel)
- adding --probe command line switch to output speedtest info
- fixing and improving graph literal unifier

[EYE-2014-06]
- fixing bnode issue for queries with a variable as conclusion (obs from Hong Sun)
- initial SRC (stretch relax cycle) supporting RGB
- fixing BASE and @base when base uri has no path (obs from Giovanni Mels)
- deprecate --quick-answer and use --single-answer instead
- deprecate --think because all proof paths can not be shown in the proof
- simplified implementation of --quick-answer
- adding strela (stretch relax) support for N3 triples to trigger JITI
- improved JITI thanks to SWI-Prolog_6.6.6
- having additional --rule-histogram command line option which was part of --profile before
- removing e:alias built-in
- not reordering rules with conjunction in their conclusion
- fixing log:implies as built-in
- repairing the deprecated fn: built-ins (obs from Jean-Marc Vanel)
- introducing --traditional command line switch
- correcting xsd:boolean datatype
- simplify inconsistency detection and throw inference_fuse exception

[EYE-2014-03]
- fixing flag/1 issue for the creation of pvm images
- assuming --nope when there is no query
- adjusting exit code for the case of exceptions (obs from Kristof Depraetere)
- fixing string escape issue for prolog:atom literals
- justifying --pass and --pass-all in proof output
- improving n3socket/1 exception handling
- improving EYE installation scripts (obs from Boris De Vloed)
- adding e:alias built-in
- creating a minimal EYE file release eye.zip (obs from Kristof Depraetere)
- correcting -- - to read command line arguments from stdin (obs from Kristof Depraetere)
- repairing --strings (obs from Jean-Marc Vanel)
- correcting exit status code (obs from Kristof Depraetere)
- using -- - to read command line arguments from stdin (obs from Kristof Depraetere)
- improving performance of --plugin thanks to Jan Wielemaker
- fixing issues with e:relabel built-in
- fixing --wcache uri - --plugin uri to take the data from stdin
- using static initializer in euler.ProofEngine
- showing total elapsed walltime for #ENDS
- not running trunk engine eam/1 when there is no query
- correcting proof_for_Turing_completeness
- removing redundant triples for --plugin
- fixing error in Turtle grammar (obs from Eric Prud'hommeaux)
- improving strela/2 for better --query performance (obs from Boris De Vloed)
- fixing backward rules and showing them in --profile output
- improving the output of --profile
- improving JITI performance for prfstep/8 using term_index/2
- fixing log:uri for blank nodes (obs from Giovanni Mels)
- make sure that --quick-answer gives at most 1 answer (obs from Giovanni Mels)
- correct throw of base_may_not_contain_hash exception (obs from Kristof Depraetere)
- fixing issue with prolog:conjunction
- adding uri DCG production for N3 parser
- Prolog_built-ins according to ISO_standard
- disable branch engine for definite clause KB
- support proof (blue) without @ keywords and without bindings like in witch_example
- EYE supporting RGB


[Euler-2013-12]
- adding --no-bindings switch to have no bindings in proof output
- throw base_may_not_contain_hash exception (obs from Ruben Verborgh)
- modified list cell functor from '$cons' to '[|]'
- fixing log:semantics for issue with blank nodes

[Euler-2013-11]
- fixing escape_unicode/2 bug and eye-earl-report.js passed 291 out of 291 tests
- fixing critical quantified variable issue in generated rules (obs from Hong Sun)
- improve stretch/relax mechanism strela/2 for complex answer patterns
- fixing regular expression implementation regex/3
- adding regex ? metacharacter support (obs from Boris De Vloed)
- improvements to run with SWIPL 7.1.0 kernel
- support rules where the variable premis is a univar (obs from Dörthe Arndt)
- adding e:relabel support to relabel subject with object in the output of the reasoning run (obs from Kristof Depraetere)
- correcting critical univar issue in N3 to N3P compiler
- fixing issue with Unicode surrogate pairs
- fixing e:wwwFormEncode bug (obs from Kristof Depraetere)
- fixing bug with --plugin - to take the data from stdin
- using SWIPL as default kernel for Euler.jar and for eye scripts

[Euler-2013-10]
- recovering the has keyword (obs from Jean-Marc Vanel)
- fixing bug in rule generation from OWL (obs from Jean-Marc Vanel)
- fixing bug with duplicate @forAll and @forSome declarations
- fixing issues with @forAll and @forSome declaration and scope (obs from Dörthe Arndt)
- fixing parser for --turtle switch
- improving networking time for --swipl (obs from Sajjad Hussain)
- reducing --think combinatorial complexity
- fixing bug with log:implies (obs from Dörthe Arndt)
- dropping cmod option for N3 to N3P compiler
- fixing exception in log:implies (obs from Ruben Verborgh)
- fixing bug with @forAll (obs from Dörthe Arndt)
- implementing --think to generate all proof paths for branch engine eam/3
- fixing issue with --think together with --nope
- using --think to generate all proof paths (obs from Simon Mayer)
- adding log:rawType built-in

[Euler-2013-09]
- adding e:graphCopy built-in to make a grounded copy of the subject graph
- updated pointer in eye --license (obs from Boris De Vloed)
- perfect run of swap wet experiment and paws approach with swet_cwm_test thanks to W3C Cwm
- adding skos-mapping-validation-rules thanks to Hong Sun
- fixing critical bug in log:includes (obs from Ruben Verborgh)
- adding disjunction_elimination_test_case using negation predicates
- improving graphlit networking performance

[Euler-2013-08]
- tested with development SWIPL 6.5.2 kernel
- improving exception handling for java -jar Euler.jar --no-install (obs from Giovanni Mels)
- adding --turtle switch and now eye --swipl passed_291_out_of_291_tests
- adding big decimal support (obs from Tests_for_Turtle)
- correcting log:semantics and log:includes
- moving from varpred/3 to exopred/3 to support RDF_literals and N3_formulae in predicate position
- correcting n3socket permission error
- simplify wget exception handling (obs from Ruben Verborgh)

[Euler-2013-07]
- keeping track of scope value in multiple N3 P-code files
- fixing unicode issue with log:semantics (obs from Ruben Verborgh)
- setting scope value in N3 P-code files
- tested with stable SWIPL 6.4.1 kernel
- implementing term_expansion/2 for N3 P-code files
- adding multifile/1 directives in N3 P-code files
- refining SWAP_wet_experiment_using_graphlit_reasoning
- correcting N3 parser according to Tests_for_Turtle
- N3 parser can now throw unexpected_dot exception and is more strict for declarations (obs from Kristof Depraetere)
- make the N3 parser more robust for illegal tokens (obs from Ruben Verborgh)
- adding --debug-cnt command line switch to output debug info about counters
- reducing memory footprint thanks to Mustafa Yuksel
- fixing --ances command line switch (obs from Sajjad Hussain)
- recovering the --step <count> command line switch (obs from Sajjad Hussain)
- fixing stack limits for SWIPL (obs from Hong Sun)
- correcting xsd:decimal and xsd:double typed literals starting with a dot (obs from Kristof Depraetere)

[Euler-2013-06]
- fixing issue with N3P roundtripping
- tested with SWIPL 6.3.18 and fixing output format of reasoning time
- setting utf8 encoding for --plugin (obs from Hong Sun)
- improving varpred/3 implementation
- improving performance of log:dtlit
- correct blank node labeling in lemma generator
- fixing backward rule instrumentation
- finetune N3 P-code with prfstep/6
- make sure when graph literals can be sorted
- fixing rules with variable graph literal conclusion
- correcting lemma generator to show the original direction of rules
- fixing lemma checker issue with variables in backward rules
- deprecating e:F and e:T as classes as they are just identifiers for boolean false and boolean true
- correcting parser in case of Abbreviating_common_datatypes (obs from Pieterjan De Potter)

[Euler-2013-05]
- correcting the bindings in the lemmas for the case of disjunctive conclusions
- correcting the bindings in the lemmas for the case of variable predicates
- make cwm proofchecker happy with resto-proof.n3 (obs from Ruben Verborgh)
- improving lemma generation for query answers (obs from Ruben Verborgh)
- adding string:replace built-in (contrib by Jean-Marc Vanel)
- support lemmas with conjunction in r:gives
- correcting problem with mixing [] blocks and rdf:List (obs from Jean-Marc Vanel)
- extractions are now lemmas (obs from Ruben Verborgh)
- can now point to a lemma
- support --plugin - to take the data from stdin
- correcting string:concatenation built-in (obs from Jean-Marc Vanel)
- fix round trip issues with N3 P-code
- move from PCL code to N3 P-code
- adjust calculation of networking time
- improve lemmaware networking speed for SWIPL

[Euler-2013-04]
- using e:gives in e:possibleModel and in e:falseModel explanations
- supporting the dot inside names plus PERCENT and PN_LOCAL_ESC in local names (obs from Turtle_W3C_CR)
- relaxing base, keywords and prefix declarations such that the ending dot is optional
- correcting base and prefix declarations occurring in nested graphs (obs from Giovanni Mels)
- improving lemmaware performance for graphs with graph literals
- correcting output when answer is a conjunction
- support - as name for stdin input data
- correcting statement counter SC for log:semantics
- making integer, decimal and double values shorthand (obs from Turtle_W3C_CR)
- speeding up lemmata reasoning thanks to optimized getvars/2
- making language tags case insensitive (obs from Hong Sun)

[Euler-2013-03]
- updated EYE_installation_guide
- handling SWIPL startup ERROR message under Windows Command Prompt
- adding createProofEngine and executeProofEngine to EYE_Java_API (obs from Jean-Marc Vanel)
- fixing euler.ProofEngine to create and use eye.pvm for SWIPL (obs from Boris De Vloed)
- fixing --wcache for relative uris (obs from Ruben Verborgh)
- fixing --strings for log:outputString in a query (obs from Olivier Morère)
- improve euler.ProofEngine to create and use eye.pvm for SWIPL plus update eye and eye.cmd scripts
- the #ENDS time is now the sum of starting, networking and reasoning cputime and is expressed in seconds
- increase EYE global memory limit (obs from Boris De Vloed)
- fixing --image <image> for MONADIC test cases

[Euler-2013-02]
- adding experimental --pvm <spec> option to output human readable PVM code
- fixing list:first and list:rest for lists described via rdf:first and rdf:rest
- correcting e:label built-in (obs from Jean-Marc Vanel)
- adding e:tripleList built-in used for triple/list transformation
- extending log:dtlit built-in for numeral object (obs from Jean-Marc Vanel)
- adding e:labelvars built-in to ground the subject (obs from Jean-Marc Vanel)
- improving performance for redundant lemmas (obs from SALUS EU FP7)
- adding SPARQL style BASE and PREFIX directives (obs from Turtle_W3C_CR)
- quoted literals with no datatype IRI and no language tag have datatype xsd:string (obs from Turtle_W3C_CR)
- extending quoted literals (obs from Turtle_W3C_CR)
- relaxing type and lang check of http://www.w3.org/2000/10/swap/string built-ins (obs from Andrae Muys)
- fixing --image <image> while testing sorted conclusion
- switching from yasam/1 and yasam/3 to eam/1 and eam/3
- deprecate --yabc <image> and use --image <image> to output PVM_code
- 30 percent speed increase for EYE using SWIPL as YAP

[Euler-2013-01]
- improving --yabc <image> option so that image has full capability of eye
- adding log:notEqualTo and log:notIncludes unit tests in biP.n3
- adding --license command line switch to show license info
- improving log:dtlit to accept numerals as lexical value (obs from Hong Sun)
- extending --debug command line switch
- correcting log:includes and log:semantics built-ins
- improving graph literal unification
- EYE now supports N3 set syntax ($ $)
- improving exception handling for n3socket/1
- Turing completeness test case http://eulersharp.sourceforge.net/2007/07test/turing_test
- removing redundant answers for conjunctive queries (obs from Hong Sun)

[Euler-2012-12]
- N3 extensive (Next) experiment http://eulersharp.sourceforge.net/2007/07test/swet_test
- implementing eye --profile for --swipl
- all tests passed with SWI-Prolog 6.3.7 and 6.2.5 kernels
- aligning e:reason with log:conclusion
- correcting e:optional to backtrack properly (obs from Mustafa Yuksel)
- experimental implementation of log:conclusion

[Euler-2012-11]
- extending e:length for graph subjects
- fixing user_output utf8 encoding
- finetuning the use of triple/3
- fixing e:max and e:min built-ins (obs from Boris De Vloed)
- supporting --query=<n3_resource> command line option
- extending math:memberCount for graph subjects (obs from Cwm)
- improving regular expression built-ins
- improving error message for wcached resources (obs from Kristof Depraetere)
- correcting e:optional to work fine within e:findall (obs from Giovanni Mels)
- extending regular expression built-ins (obs from Boris De Vloed)
- fixing parser for numerals (obs from Boris De Vloed)
- critical correction of unify/2 for graph literals
- initial proof_computation_test_case
- fixing resolve_uri/3 so that it can cope with ./ and ../

[Euler-2012-10]
- using proofs with lemmas for proof computation
- fixing exec/2 bug (obs from Giovanni Mels)
- updating skos-rules (obs from Giovanni Mels)
- adding e:findall with difference list
- critical bug correction in e:label built-in (obs from Suat Gönül)
- fixing infinite loop in the output of RDF lists with variable rest
- correcting yasam so that the necessary and sufficient triples are asserted
- fixing graph literals in proof output
- using prolog:univ to stretch fcm:pi in FCM_plugin
- fix issue with french accent in input file name (obs from Jean-Marc Vanel)
- implement and test EYE proofs with lemmas
- fix invalid_document error detection

[Euler-2012-09]
- using stretch/relax mechanism for some, allv and avar
- adding --yap option in euler.ProofEngine
- fixing xsd:dateTime and xsd:date constructors (obs from Boris De Vloed)
- fixing exec/2 (obs from Kristof Depraetere)
- improving memory footprint of RDF literals and is stretch/relax of lexical value in literal/2
- implementing prolog:new_variables_in_term for SWIPL
- changing rule order now gives same results (obs from Giovanni Mels)
- fix --no-install bug (obs from Kristof Depraetere)
- stretch e:tuple to have the benefit of SWIPL just in time indexing
- stretch/relax mechanism strela/2 and now SWIPL just in time indexing is just fine for all current test cases

[Euler-2012-08]
- improving SWIPL memory footprint of N3 to PCL compiler
- retry wget in the case of 5xx Server Error
- fixing e:graphDifference, e:graphIntersection, e:graphList and e:disjunction
- improving declaration of dynamic predicates
- fixing crash in inconsistency detection (obs from Ruset Zeno)
- correcting absolute_uri/2 for local file names
- fixing --yabc <file> switch for SWIPL

[Euler-2012-07]
- improving PCL code generation for SWIPL
- fix e:reason for SWIPL on Windows
- fix bug for local file names with spaces (obs from Boris De Vloed)
- adding e:reason heavy built-in to invoke EYE
- all tests succeed with SWI-Prolog 6.1.9 for Windows 64-bit edition
- correcting e:notLabel, log:notEqualTo, log:notIncludes, string:notEqualIgnoringCase and string:notMatches (obs from Boris De Vloed)
- fixing bug with variable graphs
- fixing --wcache for urn's (obs from Kristof Depraetere)
- correcting the implementation of N3 @base (obs from Ruben Verborgh)
- adding parteval_test_case

[Euler-2012-06]
- simplifying --quick-possible switch
- fixing incompleteness issue of branch engine
- having explicit empty possible model or empty counter model
- correcting the entailment from all possible models (obs from splitting_cyclic_test_case)
- making str:concatenation more tolerant in what it accepts (obs from Sajjad Hussain)
- updated stable YAP 6.2.3 to fix bug in testing for groundness of very deep terms
- supporting Turtle DECIMAL and DOUBLE
- updated stable YAP 6.2.3 to fix saved state issues
- fixing the P histogram output of --profile
- fixing query with backward rule as conclusion
- adding --tmp-file <file> switch for temporary file used by N3 Socket

[Euler-2012-05]
- adding --yabc <file> switch to output YABC code
- fixing exception handling to close file before delete file
- adding testcases for e: built-ins in biP.n3
- introducing hyperstep predicate hstep/2
- adding make_dynamic/1 to further improve memory footprint
- improving varpred/3 to work around RESOURCE ERROR- not enough code space (obs from Gokce Banu Laleci Erturkmen)
- repairing --no-blank switch (obs from Sajjad Hussain)
- taking statistics out of --profile and show statistics using new switch --statistics
- making prolog:if built-in as soft_cut/3
- fixing exception with log:dtlit (obs from Hong Sun)

[Euler-2012-04]
- supporting variables_within_term/3 for SWI-Prolog
- stricter creation of existentials in conclusion (obs from Boris De Vloed)
- correcting issue with existentials in constructive dilemma test case eye http://eulersharp.sourceforge.net/2007/07test/cd.n3
- correcting identity of prolog: built-ins
- all RIF built-ins are now in euler.yap
- correcting RIF built-ins func:intersect and func:except (obs from Hong Sun)
- rules with a conclusion of the form {answer}^e:construct are treated as N3 queries
- fixing prolog:disjunction built-in
- rules with equal premise and conclusion are no longer automatically treated as N3 queries
- adding P histogram to --profile which tells how many times each rule premis is proven
- improving exception handling of exec/2 (obs from Kristof Depraetere)
- using EYE_HOME environment variable in eye install and command (obs from Kristof Depraetere)
- using single within_scope/1

[Euler-2012-03]
- adding e:call to support scoped prolog: built-ins
- dropping prolog:not and using prolog:not_provable instead
- repairing e:findall for span 0 (obs from Sajjad Hussain)
- dropping trunk theory box for e:findall and e:optional
- treating rule with equal premise and conclusion as N3 query
- simplify proof of e:biconditional
- dropping logical update semantics for e:findall and e:optional
- repairing e:falseModel explanation (obs from Sajjad Hussain)
- better cleaning up of temporary files in temporary directory
- adding --no-install switch to skip EYE installation
- improving n3_pcl compiler and now much better networking time
- correcting bug with eye --nope --query http://notes.restdesc.org/2012/tmp/empty_query1.n3 (obs from Ruben Verborgh)
- improving EYE exception handling
- adding prolog:integer_power built-in
- improving MONADIC reasoning performance

[Euler-2012-02]
- create temporary files in temporary directory (obs from Giovanni Mels)
- workaround for issue with unpacking of engine (obs from Giovanni Mels)
- throwing invalid_prolog_built-in exception
- initial FCM_plugin fully in N3
- initial Naive_Bayes_Belief_Network_plugin fully in N3
- using stable YAP 6.2.3 and stable SWI-Prolog 6.0.0
- adding --header="Cache-Control: max-age=3600" for wget (obs from Giovanni Mels)
- improving proof instrumentation for backward rules
- improving varpred and backward rule performance (obs from Kristof Depraetere)
- fixing log:semantics statement counter SC
- fixing prolog_sym/3 for prolog:_built-ins

[Euler-2012-01]
- correcting coroutining for log:dtlit (obs from Giovanni Mels)
- optimizing trunk engine so that TP (trunk premise counter) is up to 30 percent better (obs from Kristof Depraetere)
- implementing coroutining for log:dtlit (obs from Hans Cools)
- adding statistics/0 for --profile
- adding statement counter SC (obs from Kristof Depraetere)
- the N3 to PCL compiler is now doing a better job to remove duplicates (obs from Kristof Depraetere)
- extending xsd:dateTime, xsd:date and xsd:time constructors to support timezone and correcting rif-plugin
- improving varpred/3 to be on par with prolog:retract
- fixing resolve_uri/3 while testing RESTdesc test cases
- correcting and simplifying xsd:dateTime and xsd:date constructors
- workaround for issue with unpacking of engine (obs from Giovanni Mels)
- changing xsd:date constructor to involve timezone and correcting rif-plugin
- fixing critical bug for log:outputString and --strings
- using set_prolog_flag(float_format,'%.16g') to maintain precision (obs from Hans Cools)
- throwing empty_quickvar_name exception
- fixing parser for rdf lists
- correcting the output for prolog:univ
- adding e:Numeral class and e:numeral built-in property
- correcting the output of prolog:atom datatypes
- improving PCL code for --quick-answer
- fixing type_error for xsd:date (obs from Hans Cools)
- adding text/n3 and text/turtle content types in euler.Codd (obs from Giovanni Mels)
- improving exception handling for unresolvable_relative_uri (obs from Kristof Depraetere)

[Euler-2011-12]
- correcting networking and reasoning timing info
- fixing issue permission_error(modify,static_procedure,true/0)
- improving PCL code generation
- fixing monotonicity issue
- fixing proof instrumentation for backward rules
- fixing read from library(url) on Windows (obs from Helen Chen)
- fixing prolog:C built-in
- fixing the usage of prolog: built-in functions
- prolog:atom is now also a rdfs:Datatype
- supporting prolog:if, prolog:if_then and prolog:if_then_else
- fixing N3 to PCL compiler for N3plugins using prolog:when coroutining
- extending euler.Codd to use additional HTTP request and reply headers (obs from Giovanni Mels)
- support for some 400 prolog:_built-ins
- improving log:outputString when the object is not a literal (obs from Dirk Colaert)
- unit tests for prolog: built-ins at biP.n3
- correcting e:evidentiality and introducing e:applicability (obs from Dirk Colaert)
- initial support for N3plugins expressed as backward rules

[Euler-2011-11]
- critical change in e:sort so that duplicates are not removed (obs from Hans Cools)
- improved exception handling in euler.Process (obs from Kristof Depraetere)
- use --think switch to enable dynamic PCL code
- fixing --plugin pcl_code
- attaching the number of models to the subject of e:inductivity
- switching from sem/1 and sem/3 to yasam/1 and yasam/3
- some more proof tactics debug info
- using e:tactic to support MONADIC reasoning
- updated YAP-6.2.2 and big numbers are now indexed correctly
- adding --no-span switch to disable span control in e:findall and e:optional


[Euler-2011-10-28]
- support logical update semantics for e:findall and e:optional
- output warning info with --warn option
- correcting bug with eye http.n3 (obs from Ruben Verborgh)
- correcting proof generation for backward arrow rules
- correcting variable binding in backward arrow rules (obs from Ruben Verborgh)
- restore e:findall and e:optional like they were in Euler-2011-08-26
- assert consequents of backward arrow rules (obs from Ruben Verborgh)

[Euler-2011-09-30]
- correcting that the intersection of all possible models is entailed except when e:tactic is used
- improving parsing speed with factor 6 for large datasets
- correcting that the intersection of all possible models is entailed except when there are counter models (obs from Ruben Verborgh)
- removing shift_goal
- some extra --profile output for networking time
- simplifying YASAM and e:findall
- correcting euler.Codd to return 404 Not Found for non existing action url (obs from Giovanni Mels)
- correcting e:evidentiality as the ratio possibleModels/(possibleModels+counterModels+falseModels) (obs from Hong Sun)
- correcting e:stringEscape built-in for language tagged and typed literals (obs from Boris De Vloed)

[Euler-2011-08-26]
- adding e:stringEscape built-in (obs from Boris De Vloed)
- dropping the --step <count> command line option
- improving speed and memory footprint of log:semantics and log:includes for large graphs
- using stable YAP-6.2.2
- the unbound subject of e:trace is now unified with an epoch timestamp
- supporting log:outputString and --strings like in cwm
- adding libreadline.so.5 to Euler.jar
- adding some more error stream logging
- the subject of e:optional is now explicitly the scope/span of the KB
- improving log message for --wcache

[Euler-2011-07-29]
- improving YASAM via --quick-answer switch
- position independence of option --wcache <uri> <file>
- using improved stable YAP-6.2.1
- fixing the output of backward arrow rules (obs from Kristof Depraetere)
- using backward arrow rules for both forward and backward chaining (obs from Kristof Depraetere)
- extending e:inductivity description with e:evidentiality (obs from Dirk Colaert)
- improving exception handling for N3 to PCL compiler
- fixing wrong answers based on backward arrow rules
- fixing proofs based on backward arrow rules so that check.py is happy
- adding e:epsilon to represent the difference between the float 1.0 and the first larger floating point number

[Euler-2011-06-24]
- fixing the crash of e:format (obs from Jean-Marc Vanel)
- using backward arrow rules as a hint to do backward chaining only
- adding --no-distinct switch to have no distinct triples asserted in KB
- removing redundant triples (obs from Giovanni Mels)
- refining YASAM to improve determinism
- fixing string built-ins bugs (obs from Boris De Vloed)

[Euler-2011-05-27]
- using a more fine granular copy_term to cope with large disjunctions
- correcting e:graphList built-in
- correcting list:first and rdf:first built-ins
- use the encoding option of open/4 (obs from Jan Wielemaker)
- detect illegal_escape_sequence in RDF literals (obs from Kristof Depraetere)
- various euler.yap source code improvements (obs from Paulo Moura)
- support EYE for SWI-Prolog
- improve xsd numeric datatape handling
- improve determinism of EYE branch engine

[Euler-2011-04-29]
- correcting e:findall to use trunk theory box only
- extending e:graphList built-in (obs from Ruben Verborgh)
- adding --pcl switch to output PCL code (obs from Wannes Meert)
- correcting the sorting of disjunctive pcl clauses to improve determinism of EYE branch engine sem/3
- correcting list:append in the presence of rdf:first and rdf:rest (obs from Kristof Depraetere)
- correcting e:findall infinite loop (obs from Kristof Depraetere)
- fix bug in e:integrityConstraint object
- adjust initial span limit from 0 to 1

[Euler-2011-03-25]
- refining temporary file naming
- fixing utf8 in uris and qnames
- correcting log:dtlit to strip the datatype (obs from Kristof Depraetere)
- extending log:dtlit and fixing negative xsd:duration (obs from Hans Cools)
- YAP OOOPS issue on Windows 7 now fixed thanks to Vitor
- working around a YAP OOOPS via exception handling in euler.ProofEngine
- correcting and improving exception handling in euler.Process (obs from Giovanni Mels)
- simplifying log:implies built-in
- correcting astep/5 to predict theories in --quick-possible mode
- improving performance of log:includes for varpred unification (obs from Giovanni Mels)
- produce correct qnames
- unify xsd:boolean type

[Euler-2011-02-25]
- again with addShutdownHook needed for Windows (obs from Pieter Pauwels)
- repairing MONADIC reasoning (obs from Pieter Pauwels)
- correcting log:includes for varpred unification (obs from Giovanni Mels)
- improving EYE error handling
- output a space between the numeral in object position and the end-of-triple dot
- test-n3-literal.n3 is now parsing fine (obs from Ruset Zeno)
- improving euler.ProcessErr error handling
- make the span in e:findall explicit and include span 0
- critical correction of astep/5 (obs from Hans Cools)
- improve trunk engine and correct TC (Trunk Conclusion) counter

[Euler-2011-01-28]
- EYE now can throw empty_false_model exception (obs from Kristof Depraetere)
- correcting e:optional to give all solutions (obs from Giovanni Mels)
- implementing crypto:md5 and crypto:sha in crypto-plugin
- the performance of remove duplicates should now be linear (obs from Pieter Pauwels)
- remove duplicates in disjunctions
- redesigned e:tuple built-in with improved speed and scalability (obs from Giovanni Mels)
- more refined sorting of disjunctive pcl clauses to improve determinism of EYE branch engine sem/3

[Euler-2010-12-31]
- EYE now accepts file: URL's like CWM and FuXi (obs from Jean-Marc Vanel)
- finding countermodels is actually also getting a speed boost
- improving N3 parsing speed so that it now scales linearly too
- speed boost to MONADIC reasoning: Pieter's color learning case now scales *linearly* (was quadratic)
- taking away split/8 predicate in euler.yap
- improving fcm-plugin (obs from Nassim Douali)
- improved N3 parser so that line numbers are always shown in case of ERROR
- extra rules for fl:pi in fl-rules

[Euler-2010-12-03]
- finetune the closing of Euler proof engine wrapper
- fix --plugin exception handling
- fix utf8 issue with Eye on Windows
- dropping --ttl option in euler.ProofEngine
- Eye errors are now really thrown as RuntimeException in euler.ProofEngine (obs from Giovanni Mels)
- extended API http://eulersharp.sourceforge.net/2004/01swap/docs/java/javadoc/euler/ProofEngine.html
- give an e:because explanation in e:falseModel for --quick-false switch
- using resolve_slash/2 to fix Windows file names
- critical change to have high performance euler path detection
- no r:gives in e:falseModel for --quick-false switch

[Euler-2010-11-12]
- introduce --no-qnames to have no qnames in the output
- repaired the output of rules (obs from Jean-Marc Vanel)
- improved performance of log:includes
- replace past_triples/1 with after_line/1 to support exception reporting
- adjust --quick-possible switch to keep the position of the goal rule
- repair bnode output
- introduce --wcache <uri> <file> option to tell that uri is cached as file
- correcting the output of e:disjunction
- make sure that all @prefix declarations are in the output
- using e:inductivity to express the ratio possibleModels/(possibleModels+counterModels)

[Euler-2010-10-22]
- e:tactic is not changing the ordering of disjunctive clauses
- do not throw RuntimeException when --ignore-syntax-error (obs from Boris De Vloed)
- correcting resolve_uri/3 for <#> uri
- running with stable YAP 6.2.0
- linear performance for large disjunctions (e.g. 500000 abducibles)
- improve memory footprint for large disjunctions
- resolving critical issue (segmentation fault) with large conjunctions and large disjunctions
- improving e:findall performance when subject is explicit about span
- correcting e:findall for "too many temporaries" error (obs from Hans Cools)
- correcting e:optional to be within_span(1) (obs from Kristof Depraetere)
- flushing stderr output
- the intersection of all possible models is entailed except when there are counter models
- Eye errors are now thrown as RuntimeException in euler.ProofEngine (obs from Giovanni Mels)
- streaming to System.out is now optional in euler.ProofEngine (obs from Kristof Depraetere)
- fix fl:pi issue on Windows (obs from Nassim Douali)
- correction for induction of rules in that those rules really deduce triples in the r:gives

[Euler-2010-10-01]
- improving http://eulersharp.sourceforge.net/2006/02swap/fcm-plugin.yap (obs from Nassim Douali)
- correction for induction of rules so that it is the same as abduction of log:implies triples
- correcting the assertion and retraction of facts on the skolem split tapes
- adding e:format built-in

[Euler-2010-09-03]
- update OWL 2 RL theories at http://eulersharp.sourceforge.net/#theories
- adding sparqlAnalysis ontologies at http://eulersharp.sourceforge.net/#ontologies
- deprecate --quick and use --quick-false instead
- adding --ignore-syntax-error switch (obs from Kristof Depraetere)
- halt proof engine when there are syntax errors (obs from Giovanni Mels)
- addShutdownHook in ProofEngine.java plus streaming output for cli (obs from Giovanni Mels)
- updating build.xml to get an executable jar file (obs from Kristof Depraetere)
- better with extra switch --quick-possible instead of confusing --quick
- the intersection of all possible models is now entailed (crucial improvement)
- more systematic indentation for the output result
- making str:concatenation more tolerant in what it accepts

[Euler-2010-08-13]
- using url library thanks to SWI/YAP portability
- restore cut in unify/2 (obs from Jean-Marc Vanel)
- using pl-tai for accurate temporal conversions thanks to SWI/YAP portability
- improving log:equalTo and log:notEqualTo for the case of graph literals with variable predicates
- correcting N3 tokenizer for the case of single quotes in uris (obs from Sajjad Hussain)
- changing the implementation of free variables (obs from Boris De Vloed)
- improving euler path detection in branch engine
- fix utf8 issue with Eye on Windows
- correcting euler.ProofEngine for Windows (obs from Olivier Rossel)
- correcting bnode predicates in rule conclusions

[Euler-2010-07-17]
- supporting bnode predicates in rule conclusions
- improving self contained Euler.jar
- improving --ances and --no-branch

[Euler-2010-07-07]
- fully Yap based euler.ProofEngine
- using brake/0 again in e:findall
- using epsilon in nbbn-plugin.yap to be portable
- testing Yap-6.0.6 with fewer -fomit-frame-pointer gcc compiler switch to avoid OOOPS on WinXP
- critical correction for log:conjunction (obs from Hans Cools)
- completing --no-qvars switch

[Euler-2010-05-26]
- fix the insignificance of the position of log:notEqualTo (obs from Jean-Marc Vanel)
- generalizing --no-blank switch to --no-qvars and adding --pass-all switch
- correcting formulae with e:disjunction
- reducing the number of steps in the trunk engine sem/1
- testing eye.yss

[Euler-2010-04-25]
- adding explicit set_prolog_flag(unknown,fail) (obs from Paulo Moura)
- improving --no-blank in proof output and increasing --step default to 5000000
- Eye is calling wget with --header="Accept: text/*" (obs from Giovanni Mels)
- improving --quiet
- correcting incorrect free variables against blank-nodes (obs from Sajjad Hussain)
- correcting str:containsIgnoringCase and str:equalIgnoringCase
- correcting list:in, list:last and list:member (obs from Jean-Marc Vanel)
- bug fix for hyphens in quickvars (obs from Roberto Fraile)
- making starting time close to zero using eye.yss which is obtained by yap -q -l euler.yap -g "save_program('eye.yss',main),halt"
- adding --ances option to enable e:ancestorModel explanation
- improving performance of e:allAncestors

[Euler-2010-04-03]
- showing cputime and walltime on stderr for starting, networking and reasoning
- improving support for http uris
- correcting output of free variables
- correction in e:trace for attributed variables
- simplified rdf:first and rdf:rest built-ins
- improving ancestor/2 predicate
- extending e:falseModel explanation with e:assertedAncestors and e:inferredDescendents

[Euler-2010-03-10]
- eye using Yap-6.0.3
- Euler.jar no longer has json classes and depends on a separate json.jar
- simplified varpred unification
- correcting eye N3 tokenizer for nested quotes
- correcting e:distinct built-in (obs from Sajjad Hussain)

[Euler-2010-02-27]
- correcting dcg for decimal
- correcting "is" "of" "," eye N3 parser issue
- adding e:allAssertedAncestors and e:assertedTriple built-ins
- correcting nbbn plugin
- resolving issue with mktime/2 (obs from Vitor Santos Costa)
- adding e:cartesianProduct built-in
- correcting rule derivation
- extending e:falseModel explanation with e:maxResolveMinRemoveOrdering

[Euler-2010-02-17]
- use sem/1 trunk engine for derivation with existentials in conclusion
- correcting nbbn plugin http://eulersharp.sourceforge.net/2006/02swap/nbbn-plugin.yap
- starting and networking times are now msec walltime
- extending e:falseModel explanation with e:inconsistentTriplesOrdering and e:closureInconsistentTriplesOrdering
- sem/1 engine speed boost with --no-branch switch
- removing duplicate triples in e:falseModel explanation
- correcting RIF plugin issue with mktime/2
- make sure that built-ins can't be derived

[Euler-2010-01-24]
- updated ontologies and theories at http://eulersharp.sourceforge.net/
- reset @keywords in Eye N3 to PCL compiler
- correcting RIF plugin to cope with the fraction part of seconds
- splitting owl-sameAs.n3 theory and having owl-sameAs-ext.n3
- correcting argument quotation issue in Eye calling wget
- critical @forSome and @forAll correction
- improving proof output so that it passes W3C swap/check.py
- correcting escape sequences in the output of literals

[Euler-2009-12-18]
- adding str:scrape and str:search built-ins for Eye
- correcting bnodes in proof output
- correcting --query option
- ignoring Byte Order Mark in Parser.java
- improving determinism for sem split tape

[Euler-2009-12-06]
- correcting --pass option
- fixing Eye4J parsing of nested formulae containing blank nodes
- adding --step switch to Eye4J and that required a new built-in throw/1
- simplifying N3 to PCL compiler

[Euler-2009-11-21]
- correcting math:exponentiation
- removed --comprehension switch
- added maximimum step count exception and default for --step is 500000
- improved the writing of literals
- extending and testing RIF plugin http://eulersharp.sourceforge.net/2006/02swap/rif-plugin.yap
- split/8-left and split/8-right euler path detection

[Euler-2009-10-23]
- enhancing split/8 rule to avoid ever growing models
- extending and testing RIF plugin http://eulersharp.sourceforge.net/2006/02swap/rif-plugin.yap
- correcting fn: namespace to http://www.w3.org/2005/xpath-functions#

[Euler-2009-10-02]
- correcting e:trace for EyeJ
- internal memotime/2 for Eye to improve mktime/2 performance
- improve networking time for Eye with http://gitorious.org/yap-git/mainline/commit/218bc2e423e0d3fb5da646d5f57364968b3eb2e1

[Euler-2009-08-25]
- correcting RDF plain literal parsing and implementing initial RDF PlainLiteral Eye plugin
- fixing bug in log:includes
- adding Naive Bayes Belief Network plugin for Eye
- creating Windows binary for Eye including Yap-6.0.0 and wget-1.11.4 and made with cygwin-1.7
- initial Eye rif-plugin plus test cases at http://eulersharp.sourceforge.net/2007/07test/rifP.n3
- application specific development of Eye plugins

[Euler-2009-07-31]
- Eye now using wget -q -O- options
- correcting math:integerQuotient, math:remainder and math:rounded Eye built-ins
- correcting e:biconditional calculation for small numbers
- adding euler.Eye --path <yap path> option
- using maximum belief based conflict resolution in case of incomplete bayesian networks

[Euler-2009-07-21]
- throwing invalid_keyword_use error in Eye N3 parser
- adding e:graphList built-in
- reimplementation of Eye N3 to PCL compiler IO
- correcting rdf:type in output
- correcting parsing of var: qnames

[Euler-2009-07-14]
- adding --no-blank command line switch to have no blank nodes in output
- adding eye --plugin <yap_resource> as Eye plugin mechanism for built-ins
- fixing various issues with the proof output of EyeJ at http://eulersharp.sourceforge.net/2006/02swap/etc02.ref
- using rms based conflict resolution in case of incomplete bayesian networks
- refining euler path so do not step in your own step
- correcting fl:pi built-in

[Euler-2009-07-07]
- updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
- dropping "has" as an implicit keyword (only fixed for Eye and EyeS)
- adding "Eye and OWL 2" page http://eulersharp.sourceforge.net/2003/03swap/eye-owl2.html
- correcting e:allDescendents and e:falseDescendents and improving their performance
- adjusting scope/span of fl:pi, e:allAncestors, e:allDescendents and e:biconditional built-ins
- using e:valuation instead of e:strength to express (lower upper) valuation of a formula

[Euler-2009-06-29]
- updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
- not writing qnames when there is a dot in the uri fragment identifier
- correcting math:integerQuotient and math:remainder according to Knuth's floored division
- fixing Eye and EyeS java wrapper
- adding EyeJ test cases http://eulersharp.sourceforge.net/2006/02swap/etc02

[Euler-2009-06-26]
- adding --no-branch command line switch
- value range of fl:sigma is now [0,1] and adjusted implementation of fl:pi built-in
- improved eye proof output speed with factor 4 (average over 55 test cases)
- correcting str:matches in eyes.pl
- decrease memory impact during proof output
- correcting list:append built-in so that the subject can be any list of lists

[Euler-2009-06-18]
- include the http://eulersharp.sourceforge.net/#theories resources in new file release
- updated Testing Euler section in http://eulersharp.sourceforge.net/2006/02swap/MAKE
- correcting divide by zero
- correcting varpred issue in ancestor/2
- updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
- correcting e:allAncestors and e:allDescendents built-ins

[Euler-2009-06-12]
- README for Euler yap engine for SWI-Prolog (Eyes)
- updated ontologies and theories at http://eulersharp.sourceforge.net/#theories
- adding e:allAncestors and e:allDescendents built-ins
- correcting fl:pi implementation w.r.t. truth value intervals
- adding test case performance chart http://eulersharp.sourceforge.net/2003/03swap/etc.html

[Euler-2009-05-30]
- correcting time measurement in euler.pl
- improved speed of bayesian e:biconditional and fuzzy fl:pi inferencing
- adding measure of skolem euler machine efficiency

[Euler-2009-05-18]
- improving speed for e:graphIntersection (in one case from 44 hours to 0.7 sec)
- fixing nested bnodes i.e. when using bnodes within []
- implementing e:consistentGives of a e:falseModel
- adding euler.ProofEngine constructor to initialize an engine with rules and data which can be invoked with the queryProofEngine method
- using regular sigmoid in fl:pi
- adding ontologies agent.n3 countries.n3 document.n3 environment.n3 event.n3 foster.n3 languages.n3 unitsExtension.n3 xdsMetadata.n3
- improving euler.Process overhead

[Euler-2009-04-26]
- running Eye with YAP version Yap-6.0.0
- supporting log:dtlit built-in
- improving euler.ProofEngine overall speed
- correcting euler.Parser
- improving euler.ProofEngine proof output

[Euler-2009-03-28]
- euler.ProofEngine replacing euler.Egg
- relaxed parsing of qnames
- fixing sem/1 Horn engine and drop e:reflexive built-in
- fixing e:findall bug
- adding euler.ProofEngine
- initial Euler yap engine for SWI-Prolog (Eyes)
- correcting str:concatenation so that the subject is a list of strings

[Euler-2009-03-15]
- Egg producing proofs that can be checked with cwm/check.py
- fixing e:tuple blank node labeling
- adding Egg i.e. Euler for GridGain
- adding eye math:atan2, math:cosh, math:sinh and math:tanh built-ins
- adding eye --pass to pass-thru the N3
- fixing issues with prolog =:= and running yap without -s thanks to Vitor for fixing
- adding fl:pi built-in and testing http://eulersharp.sourceforge.net/2003/03swap/fl-rules.n3

[Euler-2009-02-22]
- adding --profile switch to euler.yap
- tuning Yap parameters and yap -s 100000 euler.yap seems to be happy with all test cases
- show qnames with empty local name in proof output
- bug in N3 output corrected
- adding e:propertyChainExtension built-in and running owl-rl test cases
- built-in e:roc to simulate ROC curve
- adding more --debug info

[Euler-2009-02-10]
- adding Eye.java as Euler Yap Engine wrapper
- correcting datetime DCG
- improving exception handling
- checking for invalid langcode and checking for valid qname
- adding more --debug info
- added comprehension limit exception to euler.yap engine

[Euler-2009-01-31]
- adding e:nonLabel built-in plus testing http://eulersharp.sourceforge.net/2003/03swap/fl-rules.n3
- adding eye --debug --version --help and using wget network utility
- correcting euler --sql conversion
- correcting @forSome in proof output
- supporting inverse triple and inverse rule declaration
- where possible blank nodes are now relabeled using the original label
- the empty graph {} is always interpreted as true
- correcting e:consistentGives graph
- proof all e:conditional triples so that e:biconditional built-in has explicit assumptions

[Euler-2009-01-22]
- correcting empty graph representation issues
- correcting log:uri built-in
- correcting utf8 issues
- improved N3 to PCL compiler
- improved N3 parser error handling

[Euler-2009-01-12]
- initial release of EYE which is the euler.yap engine including an N3 to PCL compiler
- adding fn:substring built-in
- improving e:biconditional bayesian inferencing
- correcting bnode handling in lists used in ontologies
- simplified fn:resolve-uri implementation

[Euler-2008-12-11]
- SEM reasoner working with YAP
- quick conditional qc/3 using log so that it can keep precision when there are e.g. 20000 nodes
- updating http://eulersharp.sourceforge.net/GUIDE
- correcting resolve urn plus adding flag(keywords)
- e:tactic can be derived using N3 rules

[Euler-2008-11-04]
- SEMJ tested for 74 cases and the average speed is now 1.5 times slower than with SWI-Prolog
- correcting an exception with varpred in proof output
- reimplementation of log:conjuction to improve performance
- added euler --quick switch for optimized runtime
- correcting getnumber/2 for typed literals
- tuning http://eulersharp.sourceforge.net/2007/07test/pd_hes_tactic.n3
- introducing e:tactic to support N3 based proof tactics

[Euler-2008-10-21]
- simplify pcl intermediate code
- using tactic/3 for proof tactics
- correcting e:graphDifference built-in
- added euler --quiet switch to give shorter explanation at improved speed
- implementing euler --pass --trules to convert t-rules in e:conditional descriptions

[Euler-2008-10-06]
- SEMJ tested for 79 cases and the average speed is 2.8 times slower than with SWI-Prolog
- added e:sigmoid built-in
- SEMJ based on JLog

[Euler-2008-09-20]
- improving N3 to pcl compilation
- fixed e:biconditional for a given that is inconsistent
- adding e:label built-in to get the blank node label of the subject (this is a level breaker)
- adding "Euler under the hood" and "Prolog Coherent Logic (PCL)" to GUIDE
- fix resolving file: uris
- reviewed bnode labeling
- fix resolving http://localhost/.context+abc uris as if they were data:,abc uris
- correcting euler.Codd.dir()

[Euler-2008-08-31]
- simplify euler --sql and tested with http://www.zentus.com/sqlitejdbc/ using codd JDBC connector
- adding setPrintStream and getPrintStream methods to jTrolog.engine.Prolog to support concurrent reasoning
- order of magnitude reduced SEMJ memory footprint
- correcting the use of variables in proof output
- using JDK regular expression utilities

[Euler-2008-08-15]
- correcting e:graphDifference built-in
- adding r:gives in e:falseModel description
- extending e:falseModel description with e:consistentGives using --think
- adding e:graphIntersection built-in
- adding e:graphDifference built-in
- correcting empty graph output

[Euler-2008-08-04]
- simplify skolem machine tape chaining
- fixing log: built-ins to deal with empty graphs
- adding del_step/4 in Skolem machine and correcting bug with varpred in proof output
- elaborated e:falseModel explanation
- new variable verb strategy plus correcting proof for facts provenance
- correcting typed literal conversion
- fix issues with concurrent SEM Codd services
- correction for e:falseModel and introduction of e:possibleModel

[Euler-2008-07-19]
- finding all inconsistencies using e:falseModel {}
- adding e:because to explanation of e:falseModel
- correcting log:semantics and log:implies when subject or object is a variable
- improved memory footprint during SEM proof output
- resolving http://localhost/.context+abc uris as if they were data:,abc uris
- false and "false"^^xsd:boolean are now fine in the conclusion of a rule
- shorten proof output
- correcting e:biconditional built-in and reviewed bnode labeling
- implementing HTTP HEAD method in Codd.java and using text/n3 Content-Type for n3 content
- improved SEM command line java euler.EulerRunner --sem --test [--nope] [--rules|--trules] uris --query|--tquery uri

[Euler-2008-06-22]
- SEM Skolem Euler Machine jTrolog v2.1 based
- adding web/2 SEMLibrary built-in
- correcting issues with blank nodes in rule/query conclusions
- updated jtrolog.jar according to latest changes from Ivar in http://jtrolog.dev.java.net/svn/jtrolog/trunk
- use e:disjunction and see also http://lists.w3.org/Archives/Public/public-cwm-talk/2008AprJun/att-0011/00-part
- drop e:prune built-in

[Euler-2008-06-11]
- SEMJ which is jTrolog based is running http://eulersharp.sourceforge.net/2007/07test/semj_test.ref
- correcting log:semantics for 404 Not Found
- correcting fn:substring-after

[Euler-2008-06-09]
- initial SEMJ which is now jTrolog based (adapted jtrolog.jar included and much thanks to Ivar)
- correcting temporal reasoning primitives

[Euler-2008-05-31]
- updating http://eulersharp.sourceforge.net/GUIDE
- adding Codd application/sparql-query MIME Type
- correcting e:biconditional built-in
- correcting jDateTime for timezone

[Euler-2008-05-25]
- using modified JLog to have double precision arithmetic
- fixing bnode issues for SEMJ and dropping --data switch
- adding e:wwwFormEncode SEMJ built-in
- remove duplicate answers for SEMJ --nope

[Euler-2008-05-21]
- initial SEMJ now JLog based

[Euler-2008-05-15]
- initial SEMJ tuProlog java based SEM reasoner
- model inconsistency as rule with => false
- correcting 9 year old bug in Euler toString()
- correcting proof output for keywords and for 1-arities
- correcting N3 proof output for conjunctions
- correct e:falseModel and correct SEM --nope

[Euler-2008-05-01]
- SEM engine now produces N3 proof output and obsoletes sem_tape.pl
- improve --test-as performance
- new SEM engine with better determinism and speed
- improve e:biconditional performance
- adjust some default mime-types in Codd.java

[Euler-2008-04-21]
- correcting coroutining for built-ins
- simplifying e:biconditional
- adding e:counterModel and e:falseModel triples in proof output

[Euler-2008-04-11]
- testing t-rules with SEM using --trules and --tquery
- testing existentials in the head
- adding e:biconditional built-in
- improving N3 proof output with sem_tape.pl
- correcting proof output using @keywords and correcting log:implies built-in

[Euler-2008-03-25]
- extend sem_tape.pl proof tester to return N3 proofs by default
- built-in .SEM and .SEMI codd services
- adding --horn command line switch used in sem.pl to have engine with horn logic only

[Euler-2008-03-19]
- adding optional --data and --rules command line arguments
- adding e:sublist and e:pair built-ins and tested with http://www.agfa.com/w3c/euler/einstein.n3
- euler --sem to convert N3 input to sem.pl input and sem_tape.pl to check proof and return N3 answer
- adding sem_tape proof output
- adding built-in e:distinct to remove duplicate list items
- prototype Skolem Euler Machine sem.pl tested with ./sem < test011.in
- correcting e:optional for --prolog-bchain
- always output the e:delta triples for --prolog-bchain

[Euler-2008-03-06]
- correcting implementation of log:equalTo and log:notEqualTo
- avoid catch in e:optional
- adding step/3 in euler.pl to improve euler path detection

[Euler-2008-02-25]
- correcting e:true to model truth-value t(conclusion|premises)
- correcting --sql conversion and e:max and e:min
- implementing e:findall for --prolog-bchain reasoning
- simplifying skeleton/2 predicate
- correcting log:semantics for failure
- adding e:optional built-in to call object formula and to succeed anyway
- assert rdf:Property members using --prolog --think
- correcting query with variable verb in conclusion
- keep e:delta only when flag('e:pe')

[Euler-2008-01-19]
- translate jena message when your_file.n3 or your_file.rdf is not found
- adding N3 parsing support for the <= shorthand
- using N3 shorthands in proof/result output
- correcting renaming of variables for nested log:implies
- correcting proof instrumentation for nested log:implies
- make list:append a deterministic built-in
- remove redundancy in proof output

[Euler-2008-01-06]
- updated http://eulersharp.sourceforge.net/GUIDE
- correcting str:matches and adding e:tokenize for regular expressions
- using e:delta measure in proof output

[Euler-2007-12-22]
- adding 404 Not Found reply in Codd.java
- adding http://eulersharp.sourceforge.net/2007/07test/biP.n3 test cases
- correcting math: built-ins for plain literals
- improved euler5s math: built-ins to calculate with xsd:dateTime and xsd:duration
- test to select between redundant models
- added GUIDE appendix
- added inconsistency checks plus preliminary explanation

[Euler-2007-12-12]
- full logical belief rules via belief(C|P) = belief(P,C)/belief(P)
- using e:proofID and e:bayesRule in proof output

[Euler-2007-12-06]
- refining skeleton and no multiple choice anymore
- no minimal model requirement anymore

[Euler-2007-12-02]
- adding e:skeleton and correcting for pure belief calculus in euler.pl
- correcting graph source bug for euler lemma case
- adding euler5s --profile option and tuning performance
- adding euler5s exception handling
- using MD5 hashes to abbreviate .context URI's
- correcting .euler --sql service

[Euler-2007-11-20]
- adding euler5 SWI Prolog support
- correcting plain literals with language tag
- correcting math:quotient in euler52
- adding .IPaddress codd service
- correcting list:member and list:append
- improved HTTP request header read with cleanup socket garbage

[Euler-2007-11-07]
- correcting Codd string clipping bug and improved HTTP request header read
- updated http://eulersharp.sourceforge.net/GUIDE
- added .euler51 Codd service and added --test-as euler command line option and updated README
- improving time: built-ins and adding e:T0 and e:timeWindow
- adding fn:substring-after and fn:substring-before built-ins

[Euler-2007-10-25]
- improving string processing with starts_with/2, ends_with/2, unquote/2 and concat/2
- proof output speed 5 times faster with qname/3
- correcting some list built-ins
- correcting .context service and correcting N3 serialization
- why/4 with m3eb to resolve same model with same entropy

[Euler-2007-10-23]
- correcting bnodes for --nope and fixing e:findall in query
- drop belief rule description and only have belief rule results
- why/4 with m3e
- adding N3 support for true and false keywords
- EulerLib memo predicates
- simplifying built-ins (remove the assert fact)
- simplifying step/10

[Euler-2007-09-25]
- removing step/3
- correcting --nefq when object of e:true is a variable
- adding positive/1 and using maximum positive belief for variants in why/4
- correcting Codd localhost issue

[Euler-2007-09-14]
- http://eulersharp.sourceforge.net/2006/02swap/etc5a running in pure java
- added --test to java euler.EulerRunner to output test run
- supporting N3 @base
- corrected missing dot in proof output

[Euler-2007-09-09]
- built-in .wget in Codd.java
- slightly improved log:includes speed (up to 30%)
- correcting write_proof/0 and step/3 for incompleteness
- correcting log:semantics for euler52 and euler.yap
- tuprolog workaround for Int.unify and Long.unify

[Euler-2007-09-03]
- initial euler52 backward-forward-backward chainer
- optimized --nobe option
- euler.pl is now embedded in EulerLibrary.java
- initial EulerLibrary.java giving times 3 speed improvement for etc5a test run
- tuprolog workaround for OneWayList transform(List list) stackoverflow and testing uid

[Euler-2007-08-26]
- initial tuprolog euler.pl version
- correcting bug in proof output

[Euler-2007-08-09]
- euler.yap refactoring and 4 to 10 times speed improvement
- adding 2007/07test/m3b test

[Euler-2007-08-04]
- removing e:Variant and adding e:premises
- adding --nobe switch (no belief explanation)
- correcting some --nefq issues
- adding euler3, euler4 and euler5 entailment test cases
- variants have same proof state but *different* belief and now 2007/07test/pt is 100 times faster


[Euler-Antichthonidris-bidentatus 2007-07-08]
- added euler --sql to translate triples into sql
- added codd support for http://host.domain/dbname?SQL=sql services
- using max values for variants (instead of avg or rms values)
- using qname for e:source object
- correcting Codd jdbc
- correcting proof/4 and why/2 and why/1

[Euler-Anoplolepis-nuptialis 2007-06-24]
- extending proof output
- adjusting why/5
- adding some Expires: -1 http reply headers in Codd webizer
- preliminary guide http://eulersharp.sourceforge.net/GUIDE

[Euler-Aneuretus-simon 2007-06-16]
- extra euler path lemma case in step/7 boosting speed several orders of magnitude
- added euler --nefq (no ex falso quodlibet) switch and update euler --help
- asserted triples are translated to rule/2 (using .euler --prolog-bchain)
- refined proof/4

[Euler-Anergates-atratulus 2007-06-10]
- correcting step/7 and proof/4 to get deterministic proof results
- use proof_state/4 to cache proof fragments
- using step/4 for facts
- using goal/2 to simplify things a bit more
- additional description of reasoner results using e:conclusion, e:beliefValue, e:informationValue

[Euler-Adetomyrma-venatrix 2007-05-26]
- introduced why/7 to have desired mathematical properties for e:true
- critical correction of euler path lemma case
- simplified things for facts and built-ins

[Euler-Acanthomyops-murphii 2007-05-13]
- svn repository at http://eulersharp.svn.sourceforge.net/svnroot/eulersharp/
- using rule/2 instead of clause/2
- added e:inverseEntropy as 1 - binaryEntropy

[Euler-Acanthomyops-latipes 2007-05-05]
- a bit more N3 for the --prolog-bchain proof output
- keep proof state using proof/5
- query as horn rule


[Euler-1.5.45 2007-04-22]
- reordering and correcting step/5 predicate
- query is to deduce rules
- conclusions with variable verb are a not_yet_implemented when bchain
- added relationships to log-rules

[Euler-1.5.44 2007-04-13]
- now can also do backchain only inferencing (use .euler --prolog-bchain)
- adding e:boolean and e:true predicates
- correction of variable verb representation in proof output
- speedup Parser.java
- adding e:binaryEntropy built-in

[Euler-1.5.43 2007-03-08]
- Codd HTTP reply header always having Content-Type
- added chatty flag for bayesian
- exceeding process.ttl now returns a HTTP error code 500 Internal Server Error
- scoped e:bayesian to have data sources in proof
- improved e:bayesian performance using independency test
- adding e:ruleOfThree built-in

[Euler-1.5.41 2007-02-10]
- fix e:tuple for Yap-5.1.2
- improved e:bayesian performance using sorting and reordering
- adding e:max and e:min built-ins
- improved e:bayesian performance using blackboard

[Euler-1.5.40 2007-01-20]
- make sure that every uri has a qname too
- changed toPrologString for numerals
- euler.Codd with --properties file plus fixing the service.* properties
- adding e:sort, e:reverse and e:prune built-ins
- process.* properties in codd.properties ending with -- are with piped input
- adding e:length built-in

[Euler-1.5.38 2007-01-02]
- initial euler5 json support
- use mapping.* codd properties in euler1
- added time:year, time:month and time:day built-ins
- fixing parsing of { ?X [ rdfs:range ?C ] ?Y } => { ?Y a ?C }.
- e:findall least model
- implement logarithm via math:exponentiation

[Euler-1.5.37 2006-11-30]
- correct e:bayesian result and speed improvement using memoization

[Euler-1.5.36 2006-11-20]
- correct e:bayesian for conditional inferencing
- adding fn:resolve-uri and log:conjunction built-in and correcting log:uri

[Euler-1.5.35 2006-11-09]
- adding list:first, list:rest, list:last, list:in, list:member, list:append and log:uri built-ins
- correction in proof output; thanks to Dan Connolly
- add http port number support
- fix problem with tab
- cache log:semantics and correct for nonxexistent resources
- correct e:bayesian for conditional inferencing

[Euler-1.5.34 2006-10-20]
- updated README with "Just running Euler via RESTfull webservice"
- added e:bayesian built-in and using e:depends to describe first order bayesian networks
- added primitive mapping feature in Codd

[Euler-1.5.33 2006-10-17]
- simplified euler5 core engine
- subject of math:sum and math:product can have more than 2 items
- test with e:ScopedProperty
- added math:memberCount built-in

[Euler-1.5.32 2006-09-15]
- support N3 @keywords and default names
- drop e:no and use e:findall with empty answer instead
- occurs check not needed for deduction over rational tree models
- simplified pi-rules.n3 and moved original version to pi-calc.n3
- implementing e:tuple and map functional terms to (fn x1 ... xi)
- using var: in proof output

[Euler-1.5.31 2006-08-19]
- added lldm test case
- improving euler5 core engine
- added pi:Port and pi:Message in pi-rules.n3

[Euler-1.5.30 2006-08-05]
- using call in core engine
- correcting for owl:sameAs
- reshuffle dynamic declarations
- correcting for instrument

[Euler-1.5.28 2006-07-15]
- added more @forSome in proof and check more proofs
- use log:implies instead of ==> and improved lf inferencing
- fix Codd HTTP reply headers
- correcting N3 parser for verb repetition
- correcting e:no and e:findall with done/0 and do/0
- fix bnode in list

[Euler-1.5.27 2006-07-01]
- correcting e:no and e:findall
- no empty result for e:findall
- no proof explanation with -nope running 4 times faster
- testing equality theory
- fixing toProlog

[Euler-1.5.26 2006-06-18]
- correcting bnodes for check.py
- added equality theory to rpo-rules.n3 and 'ignored' it in euler1 as it is built-in there
- corrected e:trace

[Euler-1.5.25 2006-06-11]
- using r:Fact and r:source as suggested by Dan Connolly and test with check.py
- fixing log:semantics
- added e:findall and e:no (again)

[Euler-1.5.24 2006-06-04]
- using swap/reason for proofs
- avoid the HTTP/1.0 504 Gateway Timeout
- using e:scope and log:notIncludes

[Euler-1.5.23 2006-05-28]
- updated N3 <-> yap translation
- using proof structure as: feedlist e:rpn3 proofstack
- using kb Scoped Negation As Failure as: feedlist e:no triple

[Euler-1.5.22 2006-05-26]
- added euler5 flag('e:nope') when no proof explanation
- added waitFor() in Process.java to avoid the "# No proof found: timeout"
- direct euler5 fetching from euler1

[Euler-1.5.20 2006-05-20]
- N3 RPN proof style using e:enter, e:imply and e:prove
- backchaining in proof engine
- correcting some built-ins and using coroutining

[Euler-1.5.18 2006-05-14]
- added euler1 switch --pterm to produce a prolog term needed for euler5 log:semantics
- added "Exon query" and "Test built-ins" test cases to etc5
- corrected euler5 log:semantics
- added euler5 log:includes and log:notIncludes
- added euler5 string built-ins
- made bnode label generation thread safe in Codd.java
- added extra destroy() in Process.java to avoid the "Too many open files" bug

[Euler-1.5.16 2006-05-07]
- euler5 variable predicates
- euler5 log:semantics
- euler5 N3 output

[Euler-1.5.14 2006-04-30]
- euler5 adding theorem explanations
- README http://eulersharp.sourceforge.net/2006/02swap/README

[Euler-1.5.12 2006-04-28]
- further testing euler5 which is written in Prolog

[Euler-1.5.10 2006-04-21]
- preliminary euler5 which is written in Prolog