Package-level declarations
Types
Link copied to clipboard
The Library contributing ProbLog's probabilistic logic programming vocabulary on top of plain Prolog: the :: annotation Operator (see PROBLOG_SPECIFIC_OPERATORS) plus the internal primitives and rules (prob_*/prob/2) that rewrite an annotated theory into a Prolog-compliant one carrying "explanation" terms, and that drive probabilistic query resolution over them (see it.unibo.tuprolog.solve.problog.ProblogSolver).