logic_lang
