SWI-Prolog v9.0.4.1 المجاني
- التفاصيل
- كتبه: Mediaket
- المجموعة: أدوات الويب والبرمجة
- مُتاح أيضا باللغة:
- الزيارات: 813
SWI-Prolog هو تطبيق متعدد الاستخدامات للغة Prolog. على الرغم من أن SWI-Prolog اكتسب شعبيته في المقام الأول في التعليم ، إلا أن تطويره مدفوع في الغالب باحتياجات تطوير التطبيق. يتم تسهيل ذلك من خلال واجهة ثرية لمكونات تكنولوجيا المعلومات الأخرى من خلال دعم العديد من أنواع المستندات وبروتوكولات (الشبكة) بالإضافة إلى واجهة شاملة منخفضة المستوى لـ C والتي تعد أساسًا للواجهات عالية المستوى لـ C ++ و Java (مجمعة) و C # ، Python ، إلخ (متاح خارجيًا)...
تعمل امتدادات أنواع البيانات مثل dicts وstrings بالإضافة إلى الدعم الكامل لـ Unicode والأعداد الصحيحة غير المحدودة على تبسيط التبادل السلس للبيانات مع المكونات الأخرى.
يهدف SWI-Prolog إلى قابلية التوسع. يستغل دعمه القوي لmulti-threading الأجهزة متعددة النواة بكفاءة ويبسط التضمين في التطبيقات المتزامنة. توفر فهرسة Just In Time (JITI) الخاصة به دعمًا شفافًا وفعالًا للمسندات بملايين العبارات.
يوحد SWI-Prolog العديد من امتدادات اللغة الأساسية التي تم تطويرها في مجتمع Prolog مثل الجدولة والقيود والمتغيرات العالمية والتخصيص المتلف والتواصل المحدد والمتفاعلات.
يقدم SWI-Prolog مجموعة متنوعة من أدوات التطوير ، يمكن دمج معظمها حسب الرغبة. يوفر النظام الأصلي محررًا مكتوبًا بلغة Prolog وهو نسخة قريبة من Emacs. يوفر تمييزًا دلاليًا استنادًا إلى تحليل الوقت الفعلي للرمز بواسطة نظام Prolog نفسه.
يوفر SWI-Prolog آلية توزيع وتركيب إضافية تسمى الحزم. الحزمة عبارة عن دليل يحتوي على الحد الأدنى من الاصطلاحات التنظيمية وملف التحكم الذي يصف المصدروالإصدار والتبعيات ودعم الترقية التلقائي.
تطبيقات الخادم:
تم تجهيز SWI-Prolog بإطار عمل خادم ويب واسع (HTTP) يمكن استخدامه لتوفير خدمات (REST) وتطبيقات المستخدم النهائي على أساس HTML5 + CSS + JavaScript ...
Prolog كلغة موحدة:
على الرغم من أن Prolog معترف به على نطاق واسع كلغة ذات أغراض خاصة لمهام مثل تقييم القواعد ، فإنها تُعتبرأساسًا منصة مناسبة لاستخدامها كغراء بين المكونات المختلفة ...
قائمة الميزات:
تجميع سريع.
قوي وخالي من تسرب الذاكرة.
صغير.
يتناسب بشكل جيد مع التطبيقات الكبيرة.
تعمل فهرسة Just-In-Time لكل من الكود الثابت والديناميكي على أي وسيطة على تبسيط التعامل مع العلاقات متعددة التعديل مع العديد من الجمل.
عدد صحيح غير محدود وحساب عدد منطقي على أساس GMP library.
الأشياء الجيدة: الوحدات النمطية (متوافق مع Quintus و SICStus) ، garbage-collection (الشفافة إلى C / C ++ - الشفرة ، بما في ذلك atom وgarbage collection) ، وتحسين last-call ، والتوسع الديناميكي لruntime stacks ، ومعالجة الاستثناءات (بما في ذلك واجهة C / C ++ لكل من التقاط الاستثناءات ورفعها).
المتغيرات المنسوبة ، coroutining (freeze/2, when/2, dif/2) ، المتغيرات الشاملة، المصطلحات الدورية.
المعالجة الخاضعة للرقابة لفحص الحدوث (غلط/ صحيح / خطأ) ...
معالجة داخلية لمجموعة أحرف UNICODE.
دعم Multi-threading.
Engines ، المعروفة أيضًا باسم المتفاعلات ، coroutines التي يمكن استخدامها لتراكم الحالة والتزامن الهائل على سبيل المثال ، ذكاء السرب والمحاكاة.
عمليات الاستمرارية المحددة هي لبنة بناء قوية لهياكل التحكم الجديدة وتحقيق البرمجة الجانبية.
يوفر Tabling (دقة SLG) تقنية دقة أكثر قوة لحل الاستفسارات عبر القواعد المعقدة المترابطة مع إنهاء مضمون.
بعد XSB ، توفر سلسلة تطوير 8.1.x دلالات ذات أسس جيدة للنفي بالإضافة إلى جدولة تدريجية لتحديث الجدولة المتأثرة تلقائيًا بقاعدة معرفية متغيرة.
لويندوز 32 بت:
الحجم: 12.59 مب - تنزيل
لويندوز 64 بت:
الحجم: 12.55 مب - تنزيل