Inference:

%%% Probabilistic facts 0.5::heads1. 0.6::heads2. %%% Rules twoHeads :- heads1, heads2. %%% Queries query(heads1). query(heads2). query(twoHeads).

Learning:

%%% Probabilistic facts t(_)::heads1. t(_)::heads2. %%% Rules twoHeads :- heads1, heads2.
evidence(heads1,true). evidence(heads2,false). ---- evidence(heads1,true). evidence(heads2,true). ---- evidence(heads1,false). evidence(heads2,false). ---- evidence(heads1,true). evidence(heads2,true).