DEFAULT_PROBABILISTIC_OPTION

The default value of SolveOptions.isProbabilistic: probabilistic resolution is opt-in, so plain logic-programming queries are unaffected unless a caller explicitly turns it on via SolveOptions.setProbabilistic or SolveOptions.probabilistic.