Concepts
Pipeline overviewUnderstand the engine's model before choosing a C, Python, or JavaScript integration surface.RegistriesDefine the closed predicate vocabulary that policies are allowed to use.ManifestsLoad policy sources through an integrity-checked, fail-closed deployment manifest.RulesetsWork with the parsed, reusable policy program consumed by the solver.Runtime EDBSupply a complete snapshot of request facts to one bounded policy evaluation.SolvingEvaluate a ruleset and runtime facts into a bounded set of derived conclusions.QueryingInspect exact facts in a solved result, then optionally explain their presence or absence.Event windowsUnderstand bounded last-N event snapshots and multi-fact groups.
C Stable API
OverviewIntegrate Maelys Datalog through its stable opaque C API and explicit ownership model.RegistriesDeclare and register a closed domain through the stable opaque C API.ManifestsLoad inline policies or governed manifests into an opaque policy set.RulesetsSelect and identify policies without exposing parsed ruleset structures.Runtime EDBBuild complete request fact sets with the stable opaque input buffer.SolvingPrepare an opaque C session and solve independent request snapshots.QueryingQuery results, enumerate relations, and render explanations through the stable C facade.ErrorsInterpret stable C status values and public diagnostics fail-closed.Full programComplete document-access program for the C Stable API, with checked C source.
C Advanced API
OverviewAdditional operations on the stable opaque C handles, introduced in Datalog 0.10.0.Domain buildersDeclare a domain with a loading-time predicate installer through the C Advanced API.Manifest bundlesLoad a verified manifest and its policy sources from memory with the C Advanced API.Policy storageSupply aligned policy-object storage for advanced C loaders without claiming a zero-allocation load.SessionsSelect an advanced backend or context and require explicit solver capabilities.ExplanationsInspect Why-true steps and Why-false obstacles from one prepared explanation lease.DecisionsInspect reference-backend filter work and combine queried presence into an explicit decision.Event windowsUse the native last-N and multi-fact window adapters with the public C facade.
Bindings
Python
OverviewUse the unified Python binding built on the installed opaque C SDK.RegistriesRegistries in the unified Python binding.ManifestsLoad policies from inline source or verified manifests with the Python binding.RulesetsRulesets in the unified Python binding.Runtime EDBEdb in the unified Python binding.SolvingSolving in the unified Python binding.QueryingQuerying in the unified Python binding.ErrorsErrors in the unified Python binding.Complete exampleExamples in the unified Python binding.
TypeScript / JS
OverviewUse the typed JavaScript wrapper over the published WebAssembly engine.RegistriesDeclare predicates and policy-source atoms for a Wasm module.ManifestsUnderstand the inline-only loading path and its manifest boundary.RulesetsLoad policy source and replace the active prepared policy.Runtime EDBSupply typed request facts as one atomic batch.SolvingEvaluate one input snapshot and manage the live result.QueryingCheck membership, enumerate IDB facts and request explanations.ErrorsRead structured native diagnostics and fixed build limits.Full programRun the published Wasm wrapper from a browser page.
Experimental
Performance
Testing
Background
Changelog
Deprecated
C Low-level API
OverviewUnderstand the transparent low-level C surface retained for existing consumers and engine extensions.RegistriesLow-level C operations for registries; concepts and integration code are documented separately.ManifestsLow-level C operations for manifest; concepts and integration code are documented separately.RulesetsLow-level C operations for rulesets; concepts and integration code are documented separately.Runtime EDBLow-level C operations for edb; concepts and integration code are documented separately.SolvingLow-level C operations for solving; concepts and integration code are documented separately.QueryingLow-level C operations for querying; concepts and integration code are documented separately.ErrorsLegacy native result codes and detailed low-level diagnostics.Full programComplete document-access program for the C Low-level API, with checked C source.
Python API V1
OverviewUse the historical Python binding backed by the native C shim.RegistriesRegistries in the Python V1 binding.ManifestsManifests in the Python V1 binding.RulesetsRulesets in the Python V1 binding.Runtime EDBRuntime EDB in the Python V1 binding.SolvingSolving in the Python V1 binding.QueryingQuerying in the Python V1 binding.ErrorsErrors in the Python V1 binding.Complete exampleComplete examples in the Python V1 binding.