ฉันยังไม่เคยได้ยินเกี่ยวกับการใช้ภาษาการเขียนโปรแกรมเชิงตรรกะใด ๆ (เช่น Prolog) ในอุตสาหกรรมซอฟต์แวร์และฉันไม่รู้ถึงการใช้งานในการเขียนโปรแกรมงานอดิเรกหรือโครงการโอเพ่นซอร์ส มัน (อารัมภบท) ใช้เป็นภาษาวิชาการบางส่วนแม้ว่า (ทำไมมันถูกใช้ในสถาบันการศึกษา?)
นี่ทำให้ฉันสงสัยว่าทำไมคุณควรใช้การเขียนโปรแกรมเชิงตรรกะและทำไมไม่ เหตุใดจึงไม่ได้รับการใช้งานอุตสาหกรรมที่ตรวจพบได้?
คำตอบ:
ด้านนอกของสถาบันการศึกษา ... ฉันได้ยินมาว่ามันใช้งานใน AI มากกว่าบางครั้งในเกม (ฉันได้ยินว่ามันทำให้ AI ในซีรีย์ Black & White) ฉันเคยได้ยินเกี่ยวกับรูปแบบต่างๆที่ใช้เรียกเครื่องมือสร้างกฎเกณฑ์สำหรับธุรกิจและการจำลองทางเศรษฐกิจ
การคาดเดาของฉันสำหรับการขาดการนำไปใช้อย่างกว้างขวางคือ:
เราใช้มันเพื่อสร้างเครื่องมือแยกวิเคราะห์ การทำงานกับ lex / yacc ทำได้ง่ายกว่า
เหตุใดจึงไม่ได้รับการใช้งานอุตสาหกรรมที่ตรวจพบได้?
เรื่องนี้ไม่สามารถตอบได้ "ตรวจจับได้" หมายถึงอะไร ใครจำเป็นต้องได้รับบันทึกตรวจจับ?
http://www.meridiansystems.com/landing/ppc/prolog/getvideo.asp
ถาม Meridian Software เกี่ยวกับการเปิดฉากของพวกเขาหากคุณต้องการข้อเท็จจริง
อย่างไรก็ตามมีอุปสรรคในการเข้าที่ฉันมีประสบการณ์
ประการแรกอารัมภบทอาจช้า เมื่อมีกฎของผู้สมัครจำนวนมากและไม่มีการดำเนินการตัดง่าย ๆ เพื่อ จำกัด พื้นที่การค้นหาอาจใช้เวลาสักครู่กว่าจะเสร็จสิ้น
ประการที่สองอารัมภบทไม่ได้เป็นขั้นตอนหรือการทำงานโปรแกรมเมอร์จำนวนมากหยุดใช้งาน (ที่น่าสนใจคือโปรแกรมเมอร์บางคนใช้ SQL ด้วย) สำหรับเรื่องนั้นโปรแกรมเมอร์บางคนจะใช้ SQL อย่างไม่เต็มใจและทำสิ่งแปลก ๆ เช่นหลีกเลี่ยงการเข้าร่วมการดำเนินการหรืออ้างว่าCOUNT(*)ไม่มีประสิทธิภาพอย่างน่าอัศจรรย์)
ประการที่สามการเปิดฉากต้องใช้ความคิดที่ชัดเจนเกี่ยวกับกรณีต่าง ๆ การเขียนโปรแกรมขั้นตอนสามารถเลอะเทอะและยังคงทำงานได้อย่างน่าเชื่อถือ คำสั่งที่ไม่สามารถดำเนินการได้เป็นที่ยอมรับ
ต่อไปนี้เป็นที่ยอมรับในแวดวงส่วนใหญ่
b = a + 1
if a > b: # always False
ความคิดที่มืดมนแบบนี้ทำให้คุณมีปัญหาในการเปิดฉาก
ปัญหาหนึ่งคือ Prolog ไม่ใช่การเขียนโปรแกรมในตรรกะของคำสั่งที่สั่งซื้อครั้งแรกซึ่งเป็นสิ่งที่คำนวณได้ยาก (ฉันจำไม่ได้ว่ามีขอบเขตเท่าไหร่ แต่มันไม่ได้อยู่ใน NP และถ้าคุณเพิ่มเลขลงไป ดังนั้นจึงเป็นการทำให้เข้าใจง่าย
ในตรรกะข้อเสนอสามารถพิสูจน์ได้จริงพิสูจน์เท็จหรือไม่พิสูจน์ด้วยวิธีใด อารัมภบทมีการพิสูจน์แล้วเท่านั้นและไม่ได้รับการพิสูจน์ว่า "ไม่ได้รับการพิสูจน์" โดยทั่วไปหมายถึงเท็จ ยิ่งกว่านั้นลำดับของ Prolog clauses สามารถส่งผลกระทบต่อการประมวลผลซึ่งไม่ใช่กรณีของ clauses แบบลอจิคัล ในหลักสูตรที่ฉันใช้ฉันเริ่มคิดถึง Prolog เป็นภาษาที่จับคู่รูปแบบมากกว่าภาษาเชิงตรรกะ
ดังนั้นการเขียนโปรแกรม Prolog ไม่ได้ขึ้นอยู่กับความถูกต้องเชิงตรรกะของภาษา Prolog มากนัก มันเป็นภาษาที่มีประโยชน์ในบางวิธี แต่ไม่มีที่ไหนใกล้กับกระแสหลักและไม่มีประโยชน์ต่อเครื่องมือและชุมชนของภาษาเช่น C ++