pub fn extract_from_program(program: &Program) -> Result<Provenance>Expand description
Extracts canonical probabilistic provenance from a validated XLOG program.
pub fn extract_from_program(program: &Program) -> Result<Provenance>Extracts canonical probabilistic provenance from a validated XLOG program.