ภาพรวม
ไลบรารีข้อจำกัดบนจำนวนเต็มใน SWI-Prolog
ความเป็นมา
CLP(FD) ประกาศความสัมพันธ์ของตัวแปรในโดเมนและแยกการค้นหาค่าด้วย labeling ตามกลยุทธ์ ภาพประจำรายการใช้เครื่องหมาย Prolog เพื่อระบุระบบนิเวศ ไม่ได้อ้างว่าเป็นโลโก้แยกของ CLP(FD)
เหมาะกับงานแบบไหน
โจทย์ตารางเวลา การจัดวาง และข้อจำกัดจำนวนเต็มที่มีแบบจำลองชัดเจน
ข้อควรชั่งน้ำหนัก
ตรวจ domain และกลยุทธ์ labeling เพราะแบบจำลองที่ถูกต้องอาจยังใช้ทรัพยากรมากเมื่อพื้นที่ค้นหาโต