variables([class, science, offers, program, faculty]).

parents(science,[class]).
parents(offers,[class]).
parents(program,[class]).
parents(faculty,[class]).
parents(class,[]).

values(science,[0,1]).
values(offers,[0,1]).
values(program,[0,1]).
values(faculty,[0,1]).
values(class,[sci,art]).

pr(science,[class=sci],[0.454545,0.545455]).
pr(science,[class=art],[0.888889,0.111111]).

pr(offers,[class=sci],[0.636364,0.363636]).
pr(offers,[class=art],[0.444444,0.555556]).

pr(program,[class=sci],[0.363636,0.636364]).
pr(program,[class=art],[0.444444,0.555556]).

pr(faculty,[class=sci],[0.454545,0.545455]).
pr(faculty,[class=art],[0.333333,0.666667]).

pr(class,[],[0.55,0.45]).