EYE(1) | User Commands | EYE(1) |
eye - Euler Yet another proof Engine (EYE) semantic web reasoning engine
eye.pvm <options>* <data>* <query>*
eye --help EYE v22.1201.1601 josd SWI-Prolog version 9.0.0 starting 70 [msec cputime] 63 [msec walltime]
<options>
<data>
<query>
EYE v22.1201.1601 josd SWI-Prolog version 9.0.0 starting 39 [msec cputime] 35 [msec walltime]
December 2022 | eye --version |