ความเป็นมา
Prolog อธิบายปัญหาด้วย fact และ rule แล้วค้นหาคำตอบผ่าน goal โดย implementation และ extension ของแต่ละระบบอาจต่างกัน ภาพประจำกลุ่มเป็นเครื่องหมาย SWI-Prolog เพื่อระบุ implementation ที่ใช้เป็นแหล่งอ้างอิง ไม่ใช่โลโก้กลางของ Prolog ทุกระบบ
แนวทางทำงาน
unification และ backtracking เป็นแกนของการค้นหา ลำดับ clause และ goal จึงมีผลต่อการจบงานและประสิทธิภาพ
เหมาะกับงานแบบไหน
ปัญหากฎ ความสัมพันธ์ symbolic reasoning และ constraint ที่แทนเป็น logic ได้
ข้อควรชั่งน้ำหนัก
ต้องระบุ implementation ที่ใช้และทดสอบ termination/choice point ไม่ถือว่ากฎที่เขียนอ่านได้จะค้นหาคำตอบได้มีประสิทธิภาพเสมอ
Framework และเครื่องมือ
3 รายการในคลัง · กำลังขยายข้อมูลเพิ่มเติม ไม่ใช่รายชื่อทั้งหมดใน ecosystem
SWI-PrologLanguage implementationimplementation ของ Prolog พร้อม runtime, library และเครื่องมือพัฒนาอ่านรายละเอียด SWI-Prolog