eyereasoner / eye

Euler Yet another proof Engine
https://eyereasoner.github.io/eye/
MIT License
124 stars 17 forks source link

Eye produces duplicate outputs #72

Closed jeswr closed 1 year ago

jeswr commented 1 year ago

A duplicate output is produced

$ npx eyereasoner --nope --quiet --pass-all ./data.n3 
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/>.

:a :b :c.
:a :b :c.

using the folllowing data.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <http://example.org/> .

{ :a :b :c } <= {} .
josd commented 1 year ago

Thanks for the observation. This is now corrected in EYE v3.2.3 and you should now get

$ eye --nope --quiet --pass ./data.n3
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/>.

:a :b :c.
$ eye --nope --quiet --pass-all ./data.n3
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://example.org/>.

:a :b :c.
{:a :b :c} <= true.
jeswr commented 1 year ago

@josd Thanks for the fix - however, I'm not sure if --pass-only-new gives the correct output. It currently is empty, shouldn't it return :a :b :c as well?

josd commented 1 year ago

Yes indeed and EYE v3.3.2 now gives :a :b :c.