Logic_language loading ...