PROBLOG_OPERATORS

The full OperatorSet used by :solve-problog: OperatorSet.DEFAULT (standard Prolog operators) plus PROBLOG_SPECIFIC_OPERATORS. Theories and queries meant to use ProbLog's :: notation should be parsed with this operator set (e.g. theoryString.parseAsTheory(PROBLOG_OPERATORS), or equivalently ProblogSolverFactory.defaultBuiltins.operators).