% Probabilities for stGolog Programs probF(F,Prog,Prob) :- findall(P, S^(stDo(Prog : nil,P,s0,S), once(holds(F,S))), PS), addNumbers(PS,Prob). addNumbers([],0.0). addNumbers([N | Ns],Sum) :- addNumbers(Ns,Sum1), Sum is Sum1 + N.