Non-monotonic_logic loading ...