Robin Manhaeve

The provided predicates are specified in this python file, and are somewhat self-explanatory. https://github.com/ML-KULeuven/problog/blob/master/problog/library/string.py We will update the documentation for these, thanks for notifying us.

Thank you for the detailed explanation. The programs you provided contains some very cyclical rules. We are aware of some performance issues regarding cycle breaking, and we're looking into it...

Sorry, the example that breaks it is ``` query(numbervars(a(X),0)). ```

Hi Pierre. This seems to be a bug indeed. We'll look into it.

These can be used for adding propositional constraints programmatically, but it is not a feature that should be used directly. Depending on what type of constraint you want, you could...

Hi. If your rules can be encoded as ProbLog rules you can try the following: ``` constraint :- .... constraint :- .... evidence(constraint, false). ``` Does this help?

Hi It seems that the output you get is an issue with the problog-cli tool. It should not be outputted. The documentation is also incomplete, as you need to set...

Hi Zarach Could give an example of a program where this issue occurs?

Hi Zarach Could you also tell me what knowledge compiler you are using. Do you have the PySDD package installed?

Hi Zarach I have been looking into the issue a bit, but I have not been able to pinpoint the issue you've been having. I'll label it as a (potential)...