Łukasiewicz_logic loading ...