Module provenance 

Provenance extraction from XLOG programs into PIR.

Structs

AggregateLiftReport

Diagnostic record for one aggregate-lifting decision.

ChoiceSource

Metadata for a single Bernoulli decision stage in an annotated disjunction.

GroundAtom

Canonical ground predicate application.

Provenance

Provenance extraction result: PIR graph plus per-tuple formulas and weight metadata.

Enums

AggregateLiftStatus

Outcome of attempting finite-domain aggregate lifting.

Value

Canonical ground value used by probabilistic provenance.

Functions

extract_from_program

Extracts canonical probabilistic provenance from a validated XLOG program.

extract_from_source

Parses XLOG source and extracts its canonical probabilistic provenance.