:- use_module(library(pita)).

:- if(current_predicate(use_rendering/1)).
:- use_rendering(c3).
:- use_rendering(graphviz).
:- use_rendering(table,[header(['Multivalued variable index','Rule index','Grounding substitution'])]).
:- endif.

:- pita.

:- begin_lpad.

a:- b,c,d.
a:- e,f,\+ g.

b:0.3.
abducible c.
e:0.6.
abducible d.
abducible f.
abducible g.

constraints.

:- end_lpad.

/** <examples>

?- abd_prob(a,Prob,Exp).
?-abd_bdd_dot_string(a,BDD,Var,VarA,P,Exp).



*/