การเขียนโปรแกรมเชิงตรรกะคืออะไร?

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

ทฤษฎีบท-พร็อพหมายถึงโปรแกรมคอมพิวเตอร์ที่ได้รับการออกแบบมาเพื่อแก้ปัญหาคำสั่งทางคณิตศาสตร์ที่รู้จักกันในชื่อทฤษฎีบททฤษฎีบทเป็นคำสั่งที่แสดงให้เห็นว่าเป็นจริงตามข้อความก่อนหน้าในการเขียนโปรแกรมแบบลอจิคัลทฤษฎีบทพร็อพทำงานร่วมกับข้อความที่สร้างโดยโปรแกรมเมอร์คอมพิวเตอร์เพื่อให้ได้ข้อสรุปตัวอย่างเช่นหากรหัสระบุว่า A เท่ากับ B และ B เท่ากับ C ทฤษฎีบท-พร็อพจะทำให้ข้อสรุปเชิงตรรกะว่า A ต้องเท่ากับ C กระบวนการนี้แตกต่างจากโปรแกรมเมอร์เพียงแค่บอกคอมพิวเตอร์ในรหัสที่ A เท่ากับ C เนื่องจากโปรแกรมคอมพิวเตอร์จะต้องสรุปข้อสรุปนี้โดยใช้ทฤษฎีบท-ProVer และโปรแกรมเมอร์ต้นฉบับของโปรแกรมเมอร์ในรหัส

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

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