Probabilistic_logic