polish to clingo
Version 1.0
برنامج Python لتمرير التعبيرات المنطقية بالتدوين البولندي إلى ملف لتتم معالجته بواسطة أداة Clingo. وللقيام بذلك، سيتم تنفيذ التخفيض إلى الصيغة العادية الملتصقة، كما هو موضح في البيان.
بيان الممارسة
python polishToClingo.py
سيعيد النتيجة في ملف يحمل نفس اسم ملف الإدخال مع تغيير امتداده إلى ".lp"، وإذا لم يكن له امتداد، فسيتم إضافته ببساطة. إذا كان هناك ملف بنفس الاسم فسيتم استبداله.
