GNU Prolog مجانا حاسوب مترجم مع القيد حل على مدى محدود النطاقات التي وضعتها دانيال دياز. GNU Prolog تقبل حاسوب القيد برامج وتنتج الأم الثنائيات (مثل دول مجلس التعاون الخليجي لا من ج المصدر). التي تم الحصول عليها للتنفيذ ثم بذاتها.
حجم هذا الملف القابل للتنفيذ يمكن أن تكون صغيرة جدا منذ GNU Prolog يمكن تجنب ربط مدونة معظم غير المستخدمة المدمج في المسندات. أداء GNU Prolog مشجعة جدا (مقارنة الأنظمة التجارية). بجانب الأم رمز تجميع GNU Prolog عروض نموذجية تفاعلية مترجم (المستوى الأعلى) مع مصحح أخطاء.
حاسوب جزء يتوافق مع معيار ISO على حاسوب مع العديد من ملحقات مفيدة جدا في الممارسة (المتغيرات العالمية ، OS واجهة مآخذ).GNU Prolog ويشمل أيضا فعالة القيد حلالا على مدى محدود النطاقات (FD). هذا يفتح contraint منطق البرمجة للمستخدم الجمع بين قوة القيد البرمجة إلى declarativity من منطق البرمجة.
الميزات الرئيسية:
- فاتحة المنظومة:
- يتوافق مع معيار ISO على حاسوب (أرقام النقطة العائمة, تيارات, ديناميكية رمز،).
- الكثير من ملحقات: المتغيرات العالمية ، أكيدة شرط قواعد النحو (DCG) ، مآخذ واجهة, واجهة نظام التشغيل
- أكثر من 300 حاسوب المدمج في المسندات.
- حاسوب مصحح أخطاء على مستوى منخفض وام المصحح.
تحرير سطر منشأة بموجب التفاعلية مترجم مع الانتهاء من الذرات.
- قوي ثنائي الاتجاه بين حاسوب و C.
مترجم:
- الأم-رمز مترجم إنتاج بذاتها للتنفيذ.
- بسيطة سطر الأوامر برنامج التحويل البرمجي قبول مجموعة واسعة من الملفات: فاتحة الملفات ، ج الملفات ، وام الملفات...
- مباشرة جيل من رمز التجميع 15 مرة أسرع من wamcc دول مجلس التعاون الخليجي.
- معظم غير المستخدمة المدمج في المسندات لا ترتبط (إلى تقليل حجم الملفات التنفيذية).
- جمعت المسندات (الأم رمز) بأسرع wamcc في المتوسط.
- استشارة المسندات (byte-code) 5 مرات أسرع من wamcc.
- القيد حلالا:
- FD المتغيرات متكاملة بشكل جيد في فاتحة البيئة (التوافق التام مع حاسوب متغيرات الأعداد الصحيحة). لا حاجة صريحة FD الإعلانات.
- فعالة جدا FD حلالا (مقارنة التجارية يحلون).
- ارتفاع مستوى القيود يمكن وصفها في شروط بسيطة الأوليات.
- الكثير من المعرفة مسبقا القيود: القيود الحسابية, منطقية القيود رمزية القيود تتحقق القيود...
- عدة مسبقا التعداد الاستدلال.
- يمكن للمستخدم تحديد بلده قيودا جديدة.
- أكثر من 50 FD المدمج في القيود/المسندات.
التعليقات