ProbLog solvers, by default, behave like Prolog solvers

[gciatto]

This is astonishing.

To perform probabilistic queries, one may provide an ad-hoc SolveOptions instance, with the probabilistic flag, otherwise, resolution acts as standard Prolog.

The default should be inverted.
However, this would break tests for ordinary prolog queries, which should therefore be adapted.