isProbabilistic
Whether the probabilistic-computation option is enabled on these SolveOptions (false by default, see DEFAULT_PROBABILISTIC_OPTION). This is a "best effort" option: a solver that supports probabilistic resolution attempts to solve the query in probabilistic mode when this is true, tagging each Solution with its computed probability (and possibly a binaryDecisionDiagram explaining it); a solver that does not support it falls back to plain logic-programming resolution, in which case every solution's probability reads back the DEFAULT_PROBABILITY stub rather than an actually computed value.
JS-callable equivalent of SolveOptions.isProbabilistic.