eyeron
Eyeron
Eyeron is a Rust reasoner for Notation3 (N3). It derives conclusions from facts and rules, writes N3 proofs, and checks those proofs. It runs as a command-line program, a Rust library, and a browser application.
- Playground: run N3 in your browser.
- Guide: build, run, check proofs, use the library, and develop Eyeron.
- Specification: the language, its evaluation, and the C1–C9 proof contract.
- Examples: runnable programs, with their expected output in
examples/output/.
@prefix : <http://example.org/socrates#> .
:Socrates a :Human .
{ ?person a :Human . } => { ?person a :Mortal . } .
cargo run --release -- examples/socrates.n3
cargo run --release -- -c examples/socrates.n3
MIT licensed; see LICENSE.md.