การเขียนโปรแกรมเชิงตรรกะ - วิกิพีเดีย

# การเขียนโปรแกรมเชิงตรรกะ

### จากวิกิพีเดีย สารานุกรมเสรี

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

การเขียนโปรแกรมเชิงตรรกะ (Logic programming) เป็นแนวทางการเขียนโปรแกรม (programming paradigm) แบบหนึ่ง โดยกำหนดเซตคุณลักษณะ (attribute) ของคำตอบ แทนที่จะกำหนดขั้นตอนที่ทำให้ได้คำตอบ ภาษาโปรแกรมสำหรับการเขียนโปรแกรมเชิงตรรกะที่ใช้อย่างกว้างขวาง คือ ภาษาโปรล็อก (Prolog) อีกภาษาหนึ่งที่ใช้ในเชิงการค้า คือ ภาษาเมอร์คิวรี (Mercury) การเขียนโปรแกรมแบบนี้มีหลักการคือ ความจริง + กฎ = ผลลัพธ์ หลักการอื่นที่แตกต่างให้ดู การเขียนโปรแกรมตรรกะเชิงอุปนัย (Inductive logic programming)

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

## [แก้] อ้างอิง

- Logic programming, วิกิพีเดีย ภาษาอังกฤษ

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

ดึงข้อมูลจาก "http://th.wikipedia.org../../../%E0%B8%81/%E0%B8%B2/%E0%B8%A3/%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B9%80%E0%B8%82%E0%B8%B5%E0%B8%A2%E0%B8%99%E0%B9%82%E0%B8%9B%E0%B8%A3%E0%B9%81%E0%B8%81%E0%B8%A3%E0%B8%A1%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%87%E0%B8%95%E0%B8%A3%E0%B8%A3%E0%B8%81%E0%B8%B0.html".

หมวดหมู่: บทความที่มีลิงก์ไปภาษาอื่นในส่วนเนื้อหา | บทความเกี่ยวกับ คอมพิวเตอร์ ที่ยังไม่สมบูรณ์ | การเขียนโปรแกรม

##### Views

- บทความ
- อภิปราย
- รุ่นปัจจุบัน

##### ค้นหา

##### ภาษาอื่น

- Bosanski
- Deutsch
- English
- Español
- Suomi
- Français
- Ido
- 日本語
- Nederlands
- Polski
- Português
- Русский
- 中文