EXPLANATION_VAR_NAME
Name used for the internal variable holding a goal's probabilistic "explanation" term while a clause or query is being rewritten (see it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanation).
Name used for the internal variable holding a goal's probabilistic "explanation" term while a clause or query is being rewritten (see it.unibo.tuprolog.solve.problog.lib.knowledge.ProbExplanation).