EVIDENCE_PREDICATE
Functor of the evidence/1/evidence/2 predicate, used in a ProbLog theory to assert facts known for certain (e.g. evidence(alarm, true).), which condition the probability computed for other queries.
Functor of the evidence/1/evidence/2 predicate, used in a ProbLog theory to assert facts known for certain (e.g. evidence(alarm, true).), which condition the probability computed for other queries.