polish to clingo

波蘭語到 Clingo

Python 程式將波蘭表示法的邏輯表達式傳遞到要由 Clingo 工具處理的檔案。為此，將進行連接範式的簡化，如聲明中所解釋的。

實踐聲明

使用

python polishToClingo.py <input_file>

出口

它將在與輸入檔案同名的檔案中返回結果，並將其擴展名更改為“.lp”，如果它沒有擴展名，則只需添加它即可。如果存在同名文件，則會被覆寫。