Added LogicLanguage class.