2:- use_module(library(pita)). 3 4:- if(current_predicate(use_rendering/1)). 5:- use_rendering(graphviz). 6:- endif. 7 8:- pita. 9 10:- begin_lpad. 11:- action drug/0. 12 13female0.5. 14 15recovery0.6:- drug,\+ female. 16recovery0.7:- \+ drug,\+ female. 17 18recovery0.2:- drug,female. 19recovery0.3:- \+ drug,female. 20 21drug30/40:- \+ female. 22drug10/40:-female. 23 24 25:-end_lpad.
?-
prob(recovery,drug,P)
. ?-prob(recovery,\+ drug,P)
. ?-prob(recovery,(drug,female),P)
. ?-prob(recovery,(\+drug,female),P)
. ?-prob(recovery,(drug,\+female),P)
. ?-prob(recovery,(\+ drug,\+female),P)
. ?-prob(recovery,do(drug),P)
. ?-prob(recovery,do(\+ drug),P)
. ?-prob(recovery,(do(drug),female),P)
. ?-prob(recovery,(do(\+drug),female),P)
. ?-prob(recovery,(do(drug),\+ female),P)
. ?-prob(recovery,(do(\+ drug),\+ female),P)
. */