หน้าแรก>ซอร์สโค้ด ASP>หมวดหมู่อื่นๆ
ดาวน์โหลด

ภาษาโปแลนด์ถึง Clingo

โปรแกรม Python เพื่อส่งนิพจน์เชิงตรรกะในรูปแบบภาษาโปแลนด์ไปยังไฟล์ที่จะประมวลผลโดยเครื่องมือ Clingo ในการดำเนินการนี้ จะต้องดำเนินการลดรูปแบบ Conjunctive Normal ดังที่อธิบายไว้ในคำแถลง

คำชี้แจงการปฏิบัติ

ใช้

python polishToClingo.py <input_file>

ออก

มันจะส่งคืนผลลัพธ์ในไฟล์ที่มีชื่อเดียวกันกับไฟล์อินพุตที่เปลี่ยนนามสกุลเป็น ".lp" หากไม่มีนามสกุลก็จะถูกเพิ่มเข้าไป หากมีไฟล์ชื่อเดียวกันมันจะถูกเขียนทับ

ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด