search

friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
68 stars 13 forks source link

Rules with Disjunction in the Body #48

Closed damianoazzolini closed 2 years ago

damianoazzolini commented 2 years ago

Rules with disjunction in the body (;) seems to be not supported.

0.1::a.
0.2::b.

q:- a ; b.

With prob(q,P) i get an error.

friguzzi commented 2 years ago

Yes, they are not supported in pita, they are supported in mcintyre. You can always rewrite a disjunction as two rules. Otherwise, the code that transforms the body of clauses in pita must be changed.