logic_language