Search results

Derived statements missed by filter query (2)

Status: Open.

#166 In eyereasoner/eye;

· MichelSc opened on Oct 24, 2025

eye hangs when list:length input varibable is provided in rdf:first / rdf:rest form

Status: Open.

#162 In eyereasoner/eye;

· eyusupov opened on Sep 30, 2025

List operations not working when duplicate identities in the list descriptors

Status: Open.

#158 In eyereasoner/eye;

· MichelSc opened on Aug 17, 2025

Universally quantified vars: inconsistencies and/or unexpected results

Status: Open.

#156 In eyereasoner/eye;

· MichelSc opened on Jun 25, 2025

eye becomes slow when forward rules produce formulae

Status: Open.

#155 In eyereasoner/eye;

· tpluscode opened on Jun 14, 2025

math builtin's not working on list from ttl files

Status: Open.

#150 In eyereasoner/eye;

· MichelSc opened on May 18, 2025

Collecting multiple results from a resource path into a list

Status: Open.

#149 In eyereasoner/eye;

· jg10-mastodon-social opened on May 5, 2025

Blank nodes cause issues inside formulas called with <code>log:call</code>

Status: Open.

#148 In eyereasoner/eye;

· tpluscode opened on Apr 15, 2025

Encountered a very strange bug and can't quite figure out what's going on.

Status: Open.

#145 In eyereasoner/eye;

· blackwint3r opened on Mar 20, 2025

Eye suddenly stops executing rules

Status: Open.

#143 In eyereasoner/eye;

· tpluscode opened on Mar 10, 2025

Some built-in predicates such as <code>log:conclusion</code> transform backward rules into forward during output binding

Status: Open.

#134 In eyereasoner/eye;

· blackwint3r opened on Feb 8, 2025

Ability to provide base IRI for parsing relative IRIs in input files

Status: Open.

#129 In eyereasoner/eye;

· tpluscode opened on Jan 26, 2025