Vincent

In subquery/2 (and /3), the semiring is not passed on to the sub evaluation. This means custom semirings or the HALSemiring (continuous vars) do not yet work properly. Example for...

When running the MPE inference task, the website currently only displays the truth values ([example](https://dtai.cs.kuleuven.be/problog/tutorial/mpe/01_bn.html)). I propose to also show the probability. This probability is already included in the .json...