- Prolog เป็นภาษาโปรแกรมเชิงตรรกะแบบประกาศที่เรียบง่าย มีความเป็น Homoiconic และมีความไดนามิกสูงมาก
- ไวยากรณ์ของ Prolog เข้าใจและใช้งานได้ง่าย และข้อมูลทั้งหมดถูกแสดงด้วย Prolog terms และองค์ประกอบทางภาษาเพียงชนิดเดียวคือ 'clause'
- ใน Prolog clause อยู่ในรูปแบบ
Head :- Body ซึ่งหมายความว่าหาก Body ใช้ได้ Head ก็ใช้ได้เช่นกัน
- Prolog เป็นภาษาโปรแกรมที่มีความสมบูรณ์แบบทัวริง จึงสามารถอธิบายการคำนวณที่รู้จักทั้งหมดได้ด้วย clause ของมัน
- ในฐานะภาษาแบบประกาศ Prolog มุ่งเน้นไปที่การระบุสิ่งที่เราสนใจ และการแสดงว่าอะไรใช้ได้สำหรับคำตอบที่เราต้องการค้นหา
- ลักษณะแบบประกาศของ Prolog ช่วยให้สามารถเขียนข้อกำหนดที่กระชับ ชัดเจน และเป็นทั่วไปได้
- Prolog เป็นภาษาโปรแกรมเชิงตรรกะ โดยโปรแกรม Prolog แบบบริสุทธิ์ประกอบด้วยชุดของ Horn clauses และการทำงานของมันสามารถมองได้ว่าเป็นกรณีพิเศษของ resolution
- Prolog เป็นภาษาแบบ Homoiconic ซึ่งหมายความว่าโปรแกรม Prolog เองก็เป็น Prolog terms ที่ใช้ได้ด้วย สิ่งนี้ทำให้เขียนโปรแกรม Prolog ที่ใช้วิเคราะห์ แปลง หรือแปลความโปรแกรม Prolog อื่น ๆ ได้อย่างง่ายดาย
- Prolog เป็นภาษาที่มีความไดนามิกสูงมาก จึงสามารถสร้าง เรียกใช้ และแก้ไขโปรแกรมได้อย่างง่ายดาย
- คุณลักษณะด้านความไดนามิกของ Prolog เหมาะอย่างยิ่งสำหรับการเขียนโปรแกรมที่สามารถขยายได้ด้วยกฎที่ผู้ใช้กำหนดเองจากทั้งโปรแกรมเมอร์คนอื่นและผู้ใช้ทั่วไป
- Prolog เป็นภาษาที่อเนกประสงค์มาก และด้วยคุณสมบัติเชิงความสัมพันธ์ ทำให้โปรแกรม Prolog มีความยืดหยุ่นและเป็นทั่วไปอย่างมาก
- ความอเนกประสงค์และพลังของ Prolog มีรากฐานมาจากกลไกโดยนัยที่รวมถึงการค้นหา การทำให้เป็นหนึ่งเดียว การทำดัชนีอาร์กิวเมนต์ และการแพร่กระจายข้อจำกัด
1 ความคิดเห็น
ความคิดเห็นบน Hacker News