probabilistic_logic