Dependence_logic loading ...