| เวอร์ชัน | 1.4.3 |
|---|---|
| สำนักพิมพ์ | Daniel Diaz |
| วันที่วางจำหน่าย | 8 เม.ย. 2013 |
| วันที่เพิ่ม | 8 เม.ย. 2013 |
| ข้อกำหนดระบบปฏิบัติการ | Windows, Windows 7 |
| ข้อกำหนด | None |
| ดาวน์โหลดทั้งหมด | 1,943 |
| ราคา | Free |
คำอธิบาย
GNU Prolog เป็นคอมไพเลอร์ Prolog ฟรีพร้อมการแก้ไขข้อ จำกัด เหนือโดเมนที่ จำกัด GNU Prolog ยอมรับ Prolog ด้วยโปรแกรมที่มีข้อ จำกัด และสร้างไบนารีดั้งเดิม (เช่น gcc ทำจากแหล่ง C) ไฟล์ปฏิบัติการที่ได้รับจะเป็นแบบสแตนด์อโลน ขนาดของไฟล์สั่งการนี้อาจมีขนาดเล็ก เนื่องจาก GNU Prolog สามารถหลีกเลี่ยงการลิงก์โค้ดของเพรดิเคตในตัวที่ไม่ได้ใช้งานส่วนใหญ่ การแสดงของ GNU Prolog นั้นน่ายินดีมาก (เทียบกับระบบเชิงพาณิชย์) นอกเหนือจากการคอมไพล์โค้ดเนทีฟแล้ว GNU Prolog ยังมีล่ามคลาสสิก (ระดับบนสุด) พร้อมดีบักเกอร์
ส่วน Prolog เป็นไปตามมาตรฐาน ISO สำหรับ Prolog โดยมีส่วนขยายมากมายที่เป็นประโยชน์ในทางปฏิบัติ (ตัวแปรทั่วโลก อินเทอร์เฟซ OS และซ็อกเก็ต) GNU Prolog ยังมีตัวแก้ไขข้อจำกัดที่มีประสิทธิภาพเหนือ Finite Domains (FD) สิ่งนี้จะเปิดการเขียนโปรแกรมลอจิกข้อจำกัดให้กับผู้ใช้ที่รวมพลังของการเขียนโปรแกรมข้อจำกัดกับการประกาศของการเขียนโปรแกรมลอจิก คุณสมบัติต่างๆ รวมถึงสอดคล้องกับมาตรฐาน ISO สำหรับ Prolog, เครื่องมือแก้ไขบรรทัดภายใต้ล่ามเชิงโต้ตอบที่มีความสมบูรณ์บนอะตอม, อินเทอร์เฟซแบบสองทิศทางระหว่าง Prolog และ C, คอมไพเลอร์โค้ดเนทีฟที่สร้างไฟล์เรียกทำงานแบบสแตนด์อโลน, คอมไพเลอร์บรรทัดคำสั่งอย่างง่ายที่ยอมรับไฟล์ที่หลากหลาย, กำหนดไว้ล่วงหน้า ข้อจำกัด: ข้อจำกัดทางคณิตศาสตร์ ข้อจำกัดบูลีน ข้อจำกัดเชิงสัญลักษณ์ และข้อจำกัดที่แก้ไขใหม่ การวิเคราะห์พฤติกรรมการแจงนับที่กำหนดไว้ล่วงหน้า และผู้ใช้สามารถกำหนดข้อจำกัดใหม่ของตนเองได้
