hi:logic_language