Skip to content

Playground

The playground is the complete zelph reasoning engine — the same C++ core as the native binaries — compiled to WebAssembly. It runs entirely in your browser; nothing is sent to a server.

👉 Launch the playground

It opens as a separate page because it is a full-screen terminal application rather than an embeddable widget.

The built-in demo buttons walk you through:

  • Arithmetic as inference — multiplication and division of arbitrarily large numbers, derived purely by rules (background)
  • Logic and meta-rules — a primality test using negation as failure, transitivity as a taught concept, contradiction detection (background)
  • SPARQL — queries over facts derived by reasoning (background)
  • Neural networks — represented and executed inside the semantic graph (background)
  • From NAND to EML — arithmetic synthesized from a single NAND axiom, with a symbolic layer (simplification, differentiation, the EML operator) built on top (background)

Versions: the playground on acrion.github.io/zelph/play always reflects the current development state (main branch), while zelph.org/play tracks the latest release.