2
อะไรคือความแตกต่างทางเทคนิคที่สำคัญระหว่าง Prolog และ miniKanren เกี่ยวกับการเขียนโปรแกรมลอจิก [ปิด]
ปิด . คำถามนี้จะต้องมีมากขึ้นมุ่งเน้น ขณะนี้ยังไม่ยอมรับคำตอบ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้เน้นไปที่ปัญหาเดียวโดยแก้ไขโพสต์นี้เท่านั้น ปิดให้บริการใน3 ปีที่ผ่านมา ปรับปรุงคำถามนี้ เมื่อฉันต้องการอ่านข้อมูลเกี่ยวกับการเขียนโปรแกรมลอจิกฉันมักจะสะดุดกับ "หลัก" สองวิธีในปัจจุบัน: miniKanren , minilanguage แนะนำในด้วยเหตุผลอุบายและเป็นที่นิยมในขณะนี้เนื่องจากcore.logic Prolog ภาษาการเขียนโปรแกรมลอจิก "ใหญ่" ตัวแรก สิ่งที่ฉันสนใจตอนนี้: อะไรคือความแตกต่างทางเทคนิคที่สำคัญระหว่างสองสิ่งนี้? มีแนวทางและการนำไปใช้คล้ายกันมากหรือไม่หรือใช้วิธีการเขียนโปรแกรมเชิงตรรกะที่แตกต่างไปจากเดิมอย่างสิ้นเชิง พวกเขามาจากสาขาใดของคณิตศาสตร์และอะไรคือรากฐานทางทฤษฎี?