Crate nibli_engine 

Native nibli engine library: calls nibli-kr/nibli-semantics/nibli-reason directly as Rust crates. No WASM, no Wasmtime — full stack traces for debugging.

Structs

EngineComputeRequest

Batch compute request.

EngineFactSummary

Summary of an active fact in the knowledge base.

EngineLogicBuffer

Flat logic buffer: a nodes array plus root indices.

EngineWitnessBinding

A single witness binding: variable name → logical term value.

NibliEngine

Enums

EngineAggregateOp

Aggregation operation for numeric witness values.

EngineError

The pipeline’s typed error (Syntax/Semantic/Reasoning/Backend), re-exported so embedders, tests, and the server can pattern-match the error CLASS instead of string-parsing the [Xxx Error] Display prefix. Unified error type for the nibli-kr → nibli-semantics → nibli-reason pipeline.

EngineLogicNode

A node in the flat logic graph. Each variant corresponds to an FOL constructor. Nodes reference children by u32 index into the LogicBuffer.nodes array.

EngineLogicalTerm

A logical term — the typed representation of an FOL argument.

EngineQueryResult

Top-level entailment result returned by the reasoning engine.

EngineResourceKind

Which resource or search bound prevented a definitive answer.

EngineUnknownReason

Why the engine cannot currently return a definitive True or False.

Functions

display_query_result

display_term