Vincent

Happy 2020 to you too! Pedro is working on the DC branch but I can tell you the source of your error. I believe you are wrongly using the is/2...

Is it something like this you want? ``` c~beta(0.5,1). c2~beta(0.7,1). C::event(N):- C is c, c > 0.5. C::event(N):- C is c2, c =< 0.5. evidence(event(1), true). evidence(event(2), false). evidence(event(3), true)....

To obtain the probability within the program you need to use subquery/2 (or subquery/3 if you want to give evidence). Here the probability of event(N) is set to the probability...

Hello, I looked into it a bit. ### First Method The compilation step, a #P-complete problem, causes the long processing time. I tested this on both SDD (`-k sdd`) and...

I've finished tracking down a bug today. I hope to revisit this one in a few days but it might take a while. Something I did already notice and is...

Unfortunately I have been swamped with other things, hard to tell when I can look into this again. I don't know whether @pedrozudo found time? From what I remember, the...

I found that [An Approach to Automated Learning of Conceptual Graphs from Text](https://link.springer.com/chapter/10.1007/978-3-642-38577-3_35) by Rotella et al. mentions both Conceptual Graphs and ProbLog. There is also a list of Biology...

Hi, Great to hear you managed to get an initial working version so fast! In terms of things that aren't done in Python, - the engine (logical inference) is currently...

> Is the investigation into other backends motivated by performance questions? Yes. In theory the knowledge compilation should be the most expensive step. In practice, we found that for some...

I prefer to have the examples in separate files myself, but I understand where you're coming from. If you wish to pursue this, regardless of whether we add support for...