Crate xlog_prob 

Probabilistic reasoning tier for XLOG (Phase 4).

Re-exports

pub use pir::ChoiceVarId;

pub use pir::LeafId;

pub use pir::PirGraph;

pub use pir::PirNode;

pub use pir::PirNodeId;

pub use provenance::AggregateLiftReport;

pub use provenance::AggregateLiftStatus;

pub use provenance::ChoiceSource;

pub use provenance::GroundAtom;

pub use provenance::Provenance;

pub use provenance::Value;

pub use compilation::compile_gpu_d4_and_verify;

pub use compilation::compile_gpu_d4_and_verify_cached;

pub use compilation::CircuitCompileProfile;

pub use compilation::GpuCompileConfig;

pub use exact::ExactDdnnfProgram;

pub use exact::ExactResult;

pub use exact::GpuConfig;

pub use mc::EvidenceForcing;

pub use mc::ForceabilityReason;

pub use mc::McCountStrategy;

pub use mc::McDeviceResult;

pub use mc::McEvalConfig;

pub use mc::McHotLoopTransfers;

pub use mc::McProgram;

pub use mc::McResult;

pub use mc::McSamplingMethod;

pub use wfs::evaluate_wfs_rules;

pub use wfs::evaluate_wfs_with_rules;

pub use wfs::TruthValue;

pub use wfs::WfsAtom;

pub use wfs::WfsConfig;

pub use wfs::WfsLiteral;

pub use wfs::WfsResult;

pub use wfs::WfsRule;

Modules

cnf

CNF emission for PIR via Tseitin encoding (DIMACS).

compilation

GPU-native knowledge compilation.

epistemic

Bounded epistemic/probabilistic integration helpers.

epistemic_production

Production GPU exact-path adapter for accepted epistemic evidence.

exact

Exact probabilistic inference via GPU-native Decision-DNNF knowledge compilation and weighted model counting.

exact_gpu

GPU-only exact compilation helpers (no host reads in this module).

gpu

GPU evaluator for XGCF circuits (CUDA).

kc

mc

Approximate probabilistic inference via Monte Carlo sampling.

neural_fast_path

GPU neural fast-path helpers (device slot mapping + AD-chain glue).

pir

Provenance IR (PIR) for probabilistic compilation.

provenance

Provenance extraction from XLOG programs into PIR.

wfs

Well-Founded Semantics for non-monotone probabilistic programs.

xgcf

XLOG GPU Circuit Format (XGCF) - host-side representation and CPU evaluator.