-
eyeling — a compact Notation3 (N3) reasoner in JavaScript.
The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.
https://github.com/eyereasoner/eyeling
#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning
-
Why does N3 have greater inherent potential than Prolog for the open web?
Because N3 is not just a rule language. It can express facts, rules, quoted graphs, scoped reasoning, and source-aware logic in the same model.
We added a new Appendix C on exactly that:
https://eyereasoner.github.io/eyeling/HANDBOOK#appendix-c--n3-beyond-prolog-logic-that-survives-the-open-web -
I’ve put together **Arclight**: 12 small Rust ARC cases that don’t just give an answer, but also explain **why** and **check** themselves.
It’s a compact collection of self-explaining, fail-loud programs — useful for demos, teaching, and experimenting with the ARC approach.