查看文章

O LogicLive é uma plataforma criada para auxiliar no processo de ensino e aprendizagem de entusiastas e acadêmicos que estudam a lógica proposicional, atualmente a plataforma conta com módulos gamificados que disponibilizam conceitos e objetivos a serem cumpridos. Ao analisar os módulos presentes na plataforma, verificou-se que utilizam entradas de fórmulas proposicionais estruturadas em documentos XML criados de forma manual pelos desenvolvedores dos módulos. Para automatização do processo de criação das fórmulas proposicionais, foi desenvolvido a ferramenta GramLogic que possui uma gramática e um parser capaz transformar a fórmula inserida pelo usuário em um arquivo XML estruturado com a fórmula inserida e validada.