Module logic 

GPU-accelerated evaluation of compiled Datalog programs.

Structs

DeltaPlannerTelemetry

Planner-grade telemetry for a persistent-session relation delta update.

LogicArgumentSchema

Read-only metadata for one argument of a compiled relation.

LogicDeltaReport

Summary for a persistent-session relation delta update.

LogicEvalResult

Result of evaluating an entire Datalog program.

LogicMaterializedStore

A materialized derived store produced by one compiled logic program.

LogicProgram

A compiled Datalog program ready for GPU evaluation.

LogicQueryResult

Result of evaluating a single query in a Datalog program.

LogicSessionRuntime

Runtime state retained by a persistent logic session.

PreparedRelationDeltaBatch

Device-coalesced relation updates prepared for validation and later application.

PreparedRelationDeltaCommit

A fully staged relation update bound to its authoritative and derived state.

RelationDeltaCancellation

Tuples canceled at one ordered merge step of a relation-delta batch.

SemanticLogicTaskProgram

A self-contained XLOG program whose three selected zero-arity queries define a semantic task’s positive support. Compilation preserves the authored source; observation executes the canonical GPU evaluator before deriving any result. Presence is True and absence is Neither, never negative support. Other native observers may produce False or Both; all four values share the same task-result contract. Source facts are the complete concrete inputs, and query ordinals retain the caller’s order. No caller-supplied answers enter this adapter.

WcojDispatchStats

Multiway/Free-Join dispatch telemetry counters for a retained session executor. Counts accumulate across evaluates within the session.

Enums

LogicScalarValue

A typed scalar downloaded from a completed GPU relation.

RelationDeltaDirection

Direction of an incoming relation-delta occurrence.

Functions

compile_positive_binary_task

Lower an admitted editable source to the exact positive binary program bank consumed by the resident semantic evaluator. The independent observer is deliberately absent: it may supply expected truth, never candidate syntax.

download_logic_rows

Download a completed GPU relation into deterministic typed rows.

normalize_program_for_execution

Normalize a parsed program through the pre-compilation passes used by execution.