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 v19.0221.2026 josd SWI-Prolog 8.0.1 (x86_64-linux): Jan 27 2019, 06:40:22 starting 40 [msec cputime] 48 [msec walltime]
<options>
--tactic limited-answer <count> give only a limited number of answers
<data>
<query>
EYE v19.0221.2026 josd SWI-Prolog 8.0.1 (x86_64-linux): Jan 27 2019, 06:40:22 starting 41 [msec cputime] 53 [msec walltime]
February 2019 | eye --version |