1:- use_module(library(pita)). 2 3:- if(current_predicate(use_rendering/1)). 4:- use_rendering(c3). 5:- use_rendering(graphviz). 6:- use_rendering(table,[header(['Multivalued variable index','Rule index','Grounding substitution'])]). 7:- endif. 8 9:- pita. 10 11:- begin_lpad. 12 13p:- a,b. 14 15p:- \+ a,\+b. 16 17a0.3. 18 19b0.4. 20 21:- end_lpad.
?-
bdd_dot_string(p,BDD,Var)
. ?-prob(p,P)
. */