Bayesian_logic loading ...