Fixpoint3.ProvenanceReconstruct

Definitions

def provQuery(predSym: PredSym, fact: Vector[Boxed], withh: Vector[PredSym], d: Datalog): Option[Vector[(PredSym, Vector[Boxed])]]

Source

Returns None if predSym(fact) is not a part of the provenance model d.

Returns Some(v) where v is a vector of the facts that can be used to prove fact. In other words they are the result of flattening the proof tree of predSym(fact).

Crashes if d is not a provenance model.