polish to clingo

ポーランド語からクリンゴンへ

Clingo ツールで処理されるファイルにポーランド語表記の論理式を渡す Python プログラム。これを行うには、ステートメントで説明されているように、接続正規形への変換が実行されます。

実践の声明

使用

python polishToClingo.py <input_file>

出口

入力ファイルと同じ名前の拡張子を「.lp」に変更したファイルで結果が返されます。拡張子がない場合は、単純に追加されます。同名のファイルがある場合は上書きされます。