juliett · N3 / RDF Surfaces reasoner in your browser

juliett lowers Notation3 (RDF Surfaces or =>/<= rules) to first-order logic and decides it with an SMT solver. This page runs the reasoner as WebAssembly, with no server. The emit verbs run entirely offline; the solver verbs load z3 (also WebAssembly) on demand.

Research software. Not for production.

starting…

Input · Notation3

Semantics
Modifiers

Output


      

    

  


  

    The reasoning core is the same Go code as the native juliett CLI, compiled to
    GOOS=js GOARCH=wasm; only the solver seam differs (the CLI shells out to a native z3,
    this page calls an in-browser z3). See web/z3.js for how to host z3 on a static site.