Scryer-prolog: Support probabilistic reasoning

[XVilka]

Like in ProbLog:

• https://dtai.cs.kuleuven.be/problog/
• https://github.com/ML-KULeuven/problog

[mthom]

Probabilistic reasoning is something I'm very interested in! I will have a look. Thanks.

[XVilka]

See also https://github.com/SWI-Prolog/roadmap/issues/53 - it has some good references too.

[XVilka]

One of the ways to solve this is to make port of the cplint to Scryer. It depends on these 3 more additional libraries though:

• bddem
• matrix
• auc