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 SWI-Prolog/roadmap#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

[neko-gynoid]

I'm quite curious, as a new prolog user specifically interested in probabilistic stuff (currently looking to target SWI, but Scryer looks like a promising alternative), if this is something that has seen any attention, or what kind of effort would be required to make this happen? How hard, specifically, would it be to get cplint ported? If it were prolog pure throughout, I might be tempted to attempt to get something working as an exercise (no promises on quality, newbie here). I can't grok rust right now at all, and that isn't on the table for the moment. Thanks for this great tool :)

[hurufu]

@neko-gynoid If you are interested in extending Scryer then feel more than welcome! If you just want to solve a problem at hand there is ProbLog it is very good at working with Markov Models. I never heard of cplint, so I can't comment on that. Also take a note that statistical reasoning is highly dependent on CLP(⁠ℝ) there are some implementations online, but I don't know the complexity of porting them and also how to seamlessly integrate it with other CLP modules.

On a side note probabilistic reasoning is kinda hot right now with all neurosymbolic stuff (eg. kProbLog), so it would be cool to port probabilistic reasoning to Scryer :) Alas I don't have any use for it personally.

[neko-gynoid]

I'll look through your suggestions and try to evaluate what would be best :)