Tutorials#

End-to-end walkthroughs that build something from scratch. Pick these up when you want to learn by doing; reach for the guides when you want task-oriented reference, and the concepts when you want the underlying model.

The tutorials are designed to be read in order. Each one builds on what the previous covered, and the capstone weaves everything together.

• Tutorial 01 — SDK basics. From an empty project to a working ledger you can read, write, correct, and persist. Schema, batch writes, snapshots, retraction.
• Tutorial 02 — Rules and derivations. Querying the ledger with the rule DSL, composing rules, and walking a candidate from proposal to acceptance with evidence preserved.
• Tutorial 03 — PyReason propagation. Graph-based propagation through typed relationships, using the PyReason adapter for reasoning that walks across edges over time.
• Tutorial 04 — ProbLog probabilistic. Genuinely probabilistic reasoning over uncertain facts, where confidence labels become probabilities the engine combines properly.
• Tutorial 05 — Onboarding journey. The capstone. A complete end-to-end workflow from schema to audit package, weaving everything from the previous tutorials.

If you’d rather read concepts before doing, start at overview and come back when you want to put it into code.