| Version | Change log |
| Eye Care Software 11.16.2 Apr 29, 2025 |
Removing --prolog and using eyereasoner/eyelet instead Adding --prolog <uri> Prolog facts and rules Reverting --query fix https://github.com/eyereasoner/eye/commit/bdf9326e0eeabfc504ad6081b4028449877d34ac Adding --sparql-backward <uri> and --sparql-forward <uri> Writing rules as CONSTRUCT conclusion_n3_graph_term WHERE premise_n3_graph_term in separate .rq files Fixing logos queries Fixing --query for logos Further fixing output of functional terms Fixing output of functional terms Using log:pro instead of log:program Fixing functional terms Reintroducing (| functor args |) functional terms Adding switch --no-call-residue-vars (no check for residue vars for forward rules) to fix issue https://github.com/eyereasoner/eye/issues/145 Fixing issue https://github.com/eyereasoner/eye/issues/145 Fixing default quantify uri prefix Adding default quantify uri prefix Fixing nexus and run ldes example Adding eye/nexus Reverting nexus and using webized prolog instead Fixing nexus issue with getterm/2 Arvol/plexus is now running with trealla Fixing nexus for inference fuse Fixing nexus Fixing nexus Initial nexus implementation using RDF 1.0 with reasoning/socrates-nexus example Embedding arvol Fixing format strings Using library(apply) Fixing arvol inference fuse Refactoring eye arvol machine Adding --arvol switch to support webized prolog Fixing issue https://github.com/eyereasoner/eye/issues/142 Fixing issue https://github.com/eyereasoner/eye/issues/141#issuecomment-2696250007 Fixing issue https://github.com/eyereasoner/eye/issues/141 Using log:program and log:programTerm to support logic programming applications Fixing issue https://github.com/orgs/eyereasoner/discussions/139#discussioncomment-12310146 Fixing issue https://github.com/orgs/eyereasoner/discussions/139#discussioncomment-12301405 Fixing issue https://github.com/eyereasoner/eye/issues/140 Dropping log:compoundTerm and using log:herbrand instead Adding log:compoundTerm built-in Making pl3 branch an |
| Eye Care Software 10.30.3 Nov 16, 2024 | Solving issue https://github.com/eyereasoner/eye/issues/121 |
| Eye Care Software 10.30.2 Nov 12, 2024 | adjusting to https://eyereasoner.github.io/eye/#eye-color |
| Eye Care Software 10.29.1 Nov 7, 2024 | adding list:compound built-in to convert list tofro compound term |
| Eye Care Software 10.28.0 Oct 27, 2024 | having RDF Logic with blank node graphs |
| Eye Care Software 10.27.9 Oct 26, 2024 | dropping log:univ |
| Eye Care Software 10.27.8 Oct 26, 2024 | adding log:univ built-in and fixing rdflogic output |
| Eye Care Software 10.26.2 Oct 18, 2024 | testing reasoning/n3+1 |
| Eye Care Software 10.26.0 Oct 18, 2024 | Using RDF star to describe logic rules and queries |
| Eye Care Software 10.24.17 Oct 9, 2024 | Fixing log:query for bng (blank node graphs) |
