Search

3 results for “josd”

1. 

   josd @josd

   2026-10-19

   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.

   https://github.com/eyereasoner/eyeron

2. 

   josd @josd

   2026-10-19

   Laarne

3. 

   josd @josd

   2026-10-18

   eyeon, formerly called eyelang, is a symbolic logic programming language with Prolog syntax, inspectable proofs, and executable checks.

   Playground: https://eyereasoner.github.io/eyeon/playground/
   Tutorial: https://eyereasoner.github.io/eyeon/TUTORIAL/
   Specification: https://eyereasoner.github.io/eyeon/SPEC/