polish to clingo

Polonês para Clingo

Programa Python para passar expressões lógicas em notação polonesa para um arquivo a ser processado pela ferramenta Clingo. Para isso, será realizada uma redução para a Forma Normal Conjuntiva, conforme explicado no comunicado.

Declaração de prática

Usar

python polishToClingo.py <input_file>

Saída

Ele retornará o resultado em um arquivo com o mesmo nome do arquivo de entrada com sua extensão alterada para ".lp", caso não possua extensão é simplesmente adicionado. Se houver um arquivo com o mesmo nome, ele será sobrescrito.