สารบัญ:
คำจำกัดความ - Prolog หมายความว่าอย่างไร
Programmation en Logique (Programming in Logic) หรือ Prolog เป็นภาษาการเขียนโปรแกรมระดับสูงที่มีรากฐานมาจากตรรกะอันดับหนึ่งหรือแคลคูลัสภาคแสดงคำสั่งแรก ภาษานี้เกิดขึ้นที่ Marseilles ประเทศฝรั่งเศสในช่วงต้นทศวรรษ 1970 โดยกลุ่มที่นำโดย Alain Colmerauer มันเป็นหนึ่งในภาษาการเขียนโปรแกรมลอจิกแรกและยังคงเป็นที่นิยมในปัจจุบัน มันเป็นภาษาการเขียนโปรแกรมทั่วไปที่เกี่ยวข้องกับภาษาศาสตร์คอมพิวเตอร์และปัญญาประดิษฐ์และใช้ในระบบผู้เชี่ยวชาญพิสูจน์ทฤษฎีและรูปแบบการจับคู่มากกว่าต้นไม้แจงภาษาธรรมชาติและการประมวลผลภาษาธรรมชาติ
Techopedia อธิบาย Prolog
ระบบอารัมภบทแรกได้รับการพัฒนาในปี 1972 โดย Colmerauer ร่วมกับ Philippe Roussel และมีพื้นฐานมาจากการตีความขั้นตอนของ Horn Horn ของ Kowalski มันเป็นแรงบันดาลใจบางส่วนโดยความปรารถนาที่จะกระทบยอดการใช้ตรรกะเป็นภาษาที่แสดงความรู้ที่ประกาศกับการเป็นตัวแทนของความรู้ขั้นตอน อารัมภบทได้รับการพัฒนาอย่างมีจุดประสงค์สำหรับการประมวลผลภาษาธรรมชาติ - เกี่ยวข้องกับคอมพิวเตอร์และการโต้ตอบภาษามนุษย์ (ธรรมชาติ)
ภาษาโปรล็อกแตกต่างจากภาษาการเขียนโปรแกรมอื่นเนื่องจากเป็นการประกาศมากกว่าลำดับของคำสั่ง บางครั้งมันถูกเรียกว่าภาษาที่ใช้กฏหรือประกาศเนื่องจากมีการแสดงออกในแง่ของความสัมพันธ์ระหว่างคุณสมบัติของวัตถุที่นำเสนอเป็นข้อเท็จจริงและกฎ การคำนวณเริ่มต้นโดยการเรียกใช้แบบสอบถามเหนือความสัมพันธ์เหล่านี้
แอปพลิเคชันรวมถึง:
- การเรียนรู้ของเครื่อง
- การวางแผนหุ่นยนต์
- การใช้เหตุผลอัตโนมัติ
- การแก้ปัญหา
- การดึงฐานข้อมูลอัจฉริยะ
- ความเข้าใจภาษาธรรมชาติ
- ภาษาสเปค
