R&D Engineer
Gent, Belgium
Joined December 2010
- Tweets5.7K
- Following466
- Followers554
- Likes3.3K
the new eyelang: an experimental logic programming language with Prolog-style syntax, explained answers, and executable checks.
Answer. Reason. Check.
Try Socrates in your browser:
eyereasoner.github.io/eyelan…
eyeon, formerly called eyelang, is a symbolic logic programming language with Prolog syntax, inspectable proofs, and executable checks.
Playground: eyereasoner.github.io/eyeon/…
Tutorial: eyereasoner.github.io/eyeon/…
Specification: eyereasoner.github.io/eyeon/…
From JS to Rust: wheye: symbolic AI with answers you can inspect and check.
A Prolog subset in Rust: ask a query, request its proof, then independently check it under C1–C9. All 91 examples pass their goldens and proof checks.
Try it: eyereasoner.github.io/wheye/…
A long Odyssey(e): eyelet → eyedia → eyeling → eyeleng → peye → eyeprolog → eyelee → eyeon.
But since Dörthe and Pierre-Antoine’s journal paper “Notation3: Graph Terms for RDF”, it’s eyeron, with explicit @forAll/@forSome today.
github.com/eyereasoner/eyero…
eyeprolog now has a SPEC.md for its answer, proof and check format: all plain Prolog facts, with proofs verified against 7 conditions (C1–C7) by a checker that never searches.
github.com/eyereasoner/eyepr…
