strange behavior of backward rule about eye

[josd]

This is indeed what EYE currently does.
The conclusion of a backward rule is never asserted as it could be non ground.
The conclusion of a forward rule is asserted when it fails and the premis succeeds.

[blackwint3r]

Because the conclusion of second rule is succeeds already so it would not assert again. Thank you ! I got it.
But this is a bit counterintuitive, since by {?x :type :animal} => {?x :type :animal}, I told EYE make the conclusion not only succeed but also asserted ...

[josd]

A query would do what you want

$ cat example.n3
PREFIX : <http://example.org/test#>

:Alice :type :human.
{?x :type :animal} <= {?x :type :human}.

$ cat query.n3
PREFIX : <http://example.org/test#>

{?x :type :animal} => {?x :type :animal}.
{?x :type :animal} => {?x :type2 :animal}.

$ eye --quiet --nope example.n3 --query query.n3 2>/dev/null
PREFIX : <http://example.org/test#>

:Alice :type :animal.
:Alice :type2 :animal.

This is because query rules don't assert their conclusions but give them as answers.

[blackwint3r]

Thank you!