polish to clingo

Польский-клинго

Программа Python для передачи логических выражений в польской записи в файл для обработки с помощью инструмента Clingo. Для этого будет проведено приведение к конъюнктивной нормальной форме, как поясняется в заявлении.

Заявление о практике

Использовать

python polishToClingo.py <input_file>

Выход

Он вернет результат в виде файла с тем же именем, что и входной файл, с измененным расширением на «.lp», если расширения нет, то оно просто добавляется. Если существует файл с таким же именем, он будет перезаписан.