| الإصدار | 1.4.3 |
|---|---|
| الناشر | Daniel Diaz |
| يوم الاصدار | ٠٨/٠٤/٢٠١٣ |
| تم إضافة التاريخ | ٠٨/٠٤/٢٠١٣ |
| متطلبات نظام التشغيل | Windows, Windows 7 |
| المتطلبات | None |
| إجمالي التنزيلات | ١٬٩٤٣ |
| السعر | Free |
وصف
GNU Prolog هو مترجم Prolog مجاني مع حل القيود على المجالات المحدودة. يقبل GNU Prolog برنامج Prolog مع برامج القيود وينتج ثنائيات أصلية (كما يفعل مجلس التعاون الخليجي من مصدر سي). ثم يكون الملف القابل للتنفيذ الذي تم الحصول عليه قائمًا بذاته. يمكن أن يكون حجم هذا الملف القابل للتنفيذ صغيرًا لأن GNU Prolog يمكنه تجنب ربط كود معظم المسندات المضمنة غير المستخدمة. أداء GNU Prolog مشجع للغاية (يمكن مقارنته بالنظم التجارية). بجانب تجميع الكود الأصلي ، يقدم GNU Prolog مترجمًا كلاسيكيًا (مستوى أعلى) مع مصحح أخطاء.
يتوافق جزء Prolog مع معيار ISO لـ Prolog مع العديد من الإضافات المفيدة جدًا في الممارسة (المتغيرات العالمية وواجهة نظام التشغيل والمآخذ). يتضمن GNU Prolog أيضًا وسيلة فعالة لحل القيود على المجالات المحدودة (FD). هذا يفتح البرمجة المنطقية للقيد للمستخدم بدمج قوة برمجة القيد إلى إعلان البرمجة المنطقية. تشمل الميزات يتوافق مع معيار ISO لـ Prolog ، ومرفق تحرير الخط تحت المترجم التفاعلي مع استكمال الذرات ، والواجهة ثنائية الاتجاه بين Prolog و C ، ومترجم الكود الأصلي الذي ينتج ملفات قابلة للتنفيذ قائمة بذاتها ، ومترجم سطر أوامر بسيط يقبل مجموعة متنوعة من الملفات ، محددة مسبقًا القيود: القيود الحسابية ، والقيود المنطقية ، والقيود الرمزية ، والقيود الموحدة ، واستدلال التعداد المحدد مسبقًا ، ويمكن للمستخدم تحديد قيوده الجديدة.
