Nonmonotonic_logic loading ...