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