| 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 |
| eyelet |
Prolog (SWI, Trealla, or Scryer) |
Prolog (eyelet clauses) |
| Eyeleng |
JavaScript |
SHACL 1.2 Rules (SRL and RDF Rules) |
| Eyeling |
JavaScript |
N3 |
| Eyepl |
JavaScript |
Eyepl (Prolog-like Horn clauses) |
| 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) |
| 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 |