Get Started
This is the entry point for new users learning pr4xis. It is a three-step tutorial sequence — each step is a short, focused page you can complete in 10 minutes or less. By the end you will have pr4xis built locally, made your first query against the engine, and written your own minimal ontology! block.
The sequence
- 01 — Install — clone, build, run the test suite. Verifies your environment.
- 02 — First Query — interact with the engine through the CLI chatbot or the WASM browser demo, and learn how to read the trace.
- 03 — Your First Ontology — write a minimal
ontology!block of your own, and watch the categorical machinery validate it.
Each page links forward to the next, and back to this index. You can also jump straight in if you already know what you need.
After the tutorial
Once you have completed the three steps, the next layer of docs depends on what you want to do:
- Use pr4xis as a library in your own service or research project → Architecture
- Add a real ontology from a published paper → Build an ontology from a paper
- Compose two ontologies with a verified functor → Compose via functor
- Write a domain axiom → Write axioms
- Understand the categorical machinery deeply → Concepts, Foundations
- See the most distinctive concrete result → Gap detection
If you get stuck, file an issue — broken queries are bug reports, not user error.
- Document date: 2026-04-14