| Version | Change log |
| Eye Care Software 10.24.8 Oct 1, 2024 | running cases in reasoning/gsm |
| Eye Care Software 10.22.2 Sep 9, 2024 | fixing --trig-output for log:query |
| Eye Care Software 10.20.1 Sep 3, 2024 |
Fixing log:callWithCut built-in Integrating lingua into eye Further fixing issue https://github.com/eyereasoner/eye/issues/115 Fixing issue https://github.com/eyereasoner/eye/issues/115 Fixing query generation Fixing issue https://github.com/eyereasoner/eye/issues/113 Fixing rdfsurfaces blow inference fuse |
| Eye Care Software 10.19.0 Aug 13, 2024 |
changing functional terms to [| functor args |] autodetecting single answer for rdfsurfaces supporting log:Component for rdfsurfaces further fixing rdfsurfaces conversion fixing rdfsurfaces conversion supporting log:onNegativeSurface via prepare_builtins/0 and dropping log:onQuerySurface testing universality replace log:onNegativeQuestionSurface with log:onNegativeSurface |
| Eye Care Software 10.17.3 Aug 8, 2024 | removing halting counter for rdfsurfaces |
