| brow |
JavaScript (Tau Prolog) |
ISO Prolog over RDF terms |
| Cwm |
Python |
N3 |
| EYE |
SWI-Prolog/C |
N3; RDF Surfaces |
| eye-js |
TypeScript + EYE (SWI-Prolog/WebAssembly) |
N3; RDF Surfaces |
| Eyedia |
JavaScript |
Prolog rule language (forward :+ and backward :- rules); checkable proofs |
| eyelet |
Prolog (SWI, Trealla, or Scryer) |
Prolog (eyelet clauses) |
| Eyeleng |
JavaScript |
SPARQL 1.2 RL (SRL) |
| Eyeling |
JavaScript |
N3 |
| eyeon |
JavaScript |
Prolog subset; checkable proofs |
| EyeProlog |
JavaScript |
ISO Prolog; RDF 1.2 interchange |
| Eyeron |
Rust/WebAssembly |
N3 |
| FuXi |
Python |
N3 Horn rules; RIF Core/PRD; OWL-DLP |
| jen3 |
Java |
N3 |
| juliett |
Go/WebAssembly + Z3 |
N3; RDF Surfaces; FOL/SMT backends |
| Kolibrie |
Rust + Python bindings |
Datalog-style RDF triple rules (API); N3 data syntax |
| Latar |
SWI-Prolog (uses EYE as precompiler) |
RDF Surfaces; N3 serialization |
| lingua |
SWI-Prolog/C |
RDF/TriG graph rules (Lingua) |
| Nemo |
Rust |
Datalog dialect; existential rules |
| NO3 |
TypeScript/JavaScript |
N3 subset (forward rules) |
| peye |
Python |
Python rule language; checkable proofs |
| Pyling |
Python |
N3 |
| retina |
Prolog (Scryer or Trealla) |
RDF Surfaces |
| romeo |
Go |
N3 |
| RoXi |
Rust/WebAssembly + JavaScript bindings |
Datalog (N3 rule syntax) |
| rs2fol |
Kotlin/JVM + external FOL prover |
RDF Surfaces; first-order logic (TPTP) |
| Tension |
TypeScript/JavaScript |
RDF Surfaces; selected N3 built-ins |
| VLog |
C++ |
Datalog; Horn existential rules |
| wheye |
Rust/WebAssembly |
Prolog subset with tabling; checkable proofs |