EYE N3 Reasoner

A dependency-free JavaScript rule language with forward and backward reasoning and checkable proofs.

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

Notation3 interchange for eyemind: compile N3 rules and data to eyemind programs and write their conclusions back as N3.

Standalone RDF 1.2 interchange toolkit.

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

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

A small relational reasoner with checkable proofs

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

A Notation3 (N3) reasoner in JavaScript.