เหตุใดจึงไม่เขียนกฎของโปรแกรมลงใน Prolog [ปิด]

จากสิ่งที่ฉันได้เห็นจาก Prolog ดูเหมือนว่ามันจะเหมาะสำหรับการสร้างเอ็นจิ้นกฎสำหรับแอพ แต่ฉันไม่เชื่อว่าฉันเคยเห็นเครื่องมือสร้างกฎที่เขียนใน Prolog มีข้อ จำกัด บางอย่างใน Prolog (เช่นอัลกอริทึมการรวบรวมขยะที่ไม่ดี) ที่จะป้องกันไม่ให้มันถูกใช้เพื่อสร้างกฎของเครื่องมือหรือไม่?

เอ็นจิ้นของกฎในวัยเด็กของพวกเขาถูกเขียนขึ้นใน Prolog เกือบจะเป็นภาษาตรรกะ สำหรับกฎเล็ก ๆ พวกเขาทำงานได้ดี อย่างไรก็ตามมันกลับกลายเป็นว่าพวกเขาไม่ได้ดีมาก ฉันไม่มีการอ้างอิงที่ชัดเจน แต่ความเข้าใจของฉันก็คือวิธีที่ Prolog จัดการกับการผูกมัดของกฎนั้นไม่มีประสิทธิภาพ - ตัวแบบเรียกซ้ำที่สร้างขึ้นเพื่อสร้างสแต็คขนาดใหญ่มากที่นำมาสู่การรวบรวมข้อมูล

การพัฒนาอัลกอริธึม RETE และผู้สืบทอดนั้นอนุญาตให้มีวิธีที่มีประสิทธิภาพมากขึ้นในการประมวลผลกฎจำนวนมากและรับช่วงต่อไป

บางทีอารัมภบทสมัยใหม่อาจมีประสิทธิภาพมากกว่ายุค 80 เมื่องานส่วนใหญ่เสร็จสิ้น

คำตอบแบบ Tongue-in-cheek: เพราะหากผู้สร้างกฎของเครื่องมือรู้เกี่ยวกับ Prolog (หรือ Mercury หรือ PLANNER หรือ ... ) พวกเขาจะไม่เขียนเครื่องมือของกฎพวกเขาจะใช้ Prolog

โดยทั่วไปจุดของเอ็นจินกฎคือมันเป็นส่วนหนึ่งของแอปพลิเคชันอื่น ค่อนข้างยากที่จะเห็นแอปพลิเคชันที่เขียนใน Prolog และไม่มีอินเทอร์เฟซที่ใช้งานทั่วไปเพื่อเชื่อมต่อ Prolog กับแอปพลิเคชันที่เขียนในภาษาอื่น

One เครื่องมือตามกฎสำหรับเครื่องยนต์กฎที่เขียนที่จะเพิ่มการใช้งานอื่น ๆ ที่เป็นคลิป CLIPS ใช้OPS5และใช้อัลกอริธึม Reteสำหรับกฎการตัดแต่งกิ่ง