Probabilistic_logic loading ...