Logic_program loading ...