Provided by: eye_19.0221.2026~ds-1_all bug

NAME

       eye - Euler Yet another proof Engine (EYE) semantic web reasoning engine

SYNOPSIS

       eye.pvm <options>* <data>* <query>*

DESCRIPTION

       eye  --help  EYE  v19.0221.2026  josd  SWI-Prolog 7.6.4 (amd64): , 12:30 starting 19 [msec
       cputime] 27 [msec walltime]

       <options>

       --carl use external carl parser

       --csv-separator <separator>
              CSV separator such as , or ;

       --curl-http-header <field>
              to pass HTTP header <field> to curl

       --debug
              output debug info on stderr

       --debug-cnt
              output debug info about counters on stderr

       --debug-djiti
              output debug info about DJITI on stderr

       --debug-pvm
              output debug info about PVM code on stderr

       --help show help info

       --hmac-key <key>
              HMAC key

       --ignore-inference-fuse
              do not halt in case of inference fuse

       --ignore-syntax-error
              do not halt in case of syntax error

       --image <pvm-file>
              output all <data> and all code to <pvm-file>

       --license
              show license info

       --multi-query
              query answer loop

       --n3p  output all <data> as N3 P-code on stdout

       --no-distinct-input
              no distinct triples in the input

       --no-distinct-output
              no distinct answers in the output

       --no-genid
              no generated id in Skolem IRI

       --no-numerals
              no numerals in the output

       --no-qnames
              no qnames in the output

       --no-qvars
              no qvars in the output

       --no-skolem <prefix>
              no uris with <prefix> in the output

       --nope no proof explanation

       --pass-all-ground
              ground the rules and run --pass-all

       --pass-only-new
              output only new derived triples

       --pass-turtle
              output the --turtle data

       --probe
              output speedtest info on stderr

       --profile
              output profile info on stderr

       --random-seed
              create random seed

       --rule-histogram
              output rule histogram info on stderr

       --source <file>
              read command line arguments from <file>

       --statistics
              output statistics info on stderr

       --streaming-reasoning
              streaming reasoning on --turtle data

       --strict
              strict mode

       --strings
              output log:outputString objects on stdout

       --tactic existing-path
              Euler path using homomorphism

       --tactic limited-answer <count> give only a limited number of answers

       --tactic limited-brake <count>
              take only a limited number of brakes

       --tactic limited-step <count>
              take only a limited number of steps

       --tactic linear-select
              select each rule only once

       --traditional
              traditional mode

       --version
              show version info

       --warn output warning info on stderr

       --wcache <uri> <file>
              to tell that <uri> is cached as <file>

       <data>

       --n3 <uri>
              N3 triples and rules

       --plugin <uri>
              N3P code

       --proof <uri>
              N3 proof

       --turtle <uri>
              Turtle data

       <query>

       --pass output deductive closure

       --pass-all
              output deductive closure plus rules

       --query <n3-query>
              output filtered with filter rules

       EYE v19.0221.2026 josd SWI-Prolog 7.6.4 (amd64): , 12:30 starting  22  [msec  cputime]  28
       [msec walltime]