EYE N3 Reasoner

EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.

A standalone, dependency-free Python rule language with forward and backward reasoning and checkable proofs.

Eyeleng is a JavaScript implementation of SPARQL 1.2 RL (SRL).

Eyedia — reasoning you can see. A dependency-free Prolog rule language with forward and backward reasoning, where every answer can come with a proof you can check.

eye reasoning in prolog

Eyeron is a Rust reasoner for Notation3 (N3), turning facts and rules into conclusions with verifiable proofs.

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

A Notation3 (N3) reasoner in JavaScript.

Standalone RDF ↔ Prolog interchange toolkit.

Euler Yet another proof Engine