EYE
The main Euler Yet another proof Engine documentation, examples, architecture notes, and references.
Start here
Choose the entry point that matches how you want to use EYE: command line reasoning, JavaScript integration, browser demos, or RDF/TriG experiments.
eye-js
A distribution of the EYE reasoner for browser and Node.js applications using WebAssembly.
eyeling
A compact Notation3 reasoner in JavaScript for accountable facts, rules, goals, answers, and proofs.
lingua
A reasoner using RDF TriG as the web lingua, with forward rules, backward rules, and queries described in RDF.
eyebrow
Archived browser experiments for running EYE-style examples such as Socrates, GPS, and other demos.
Notation3 by Example
Example N3 scripts demonstrating built-in functions, linked data patterns, and practical reasoning tasks.
A tiny N3 example
This is the familiar Socrates rule: if someone has a type whose class is a subclass of another class, infer the broader type.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <http://example.org/socrates#>.
:Socrates a :Human.
:Human rdfs:subClassOf :Mortal.
{ ?S a ?A. ?A rdfs:subClassOf ?B }
=>
{ ?S a ?B }.Project map
Selected repositories in the EYE organization, grouped here as a quick index for contributors and users.
- eye — Euler Yet another proof Engine
- eye-js — EYE for JavaScript via WebAssembly
- eyeling — Notation3 reasoner in JavaScript
- eyeleng — SHACL 1.2 Rules logic engine
- eyelang — Prolog-like logic programming language
- lingua — RDF TriG reasoner
- rdfsurfaces-tests — RDF Surfaces test kit
- Notation3-By-Example — N3 examples
- Koreografeye — web choreography service using EYE
- EyeServer — server for the EYE reasoner
- EyeClient — browser widget for EYE
- eyebrow — browser reasoning demos