polish to clingo
Version 1.0
Program Python untuk meneruskan ekspresi logika dalam notasi Polandia ke file untuk diproses oleh alat Clingo. Untuk itu akan dilakukan reduksi ke Bentuk Normal Konjungtif, sebagaimana dijelaskan dalam pernyataan tersebut.
Pernyataan praktik
python polishToClingo.py <input_file>
Ini akan mengembalikan hasilnya dalam file dengan nama yang sama dengan file input dengan ekstensinya diubah menjadi ".lp", jika tidak memiliki ekstensi cukup ditambahkan. Jika ada file dengan nama yang sama maka akan ditimpa.
