| الإصدار | 8.1 |
|---|---|
| الناشر | KopecSoft |
| يوم الاصدار | ٢٤/٠٢/٢٠١٤ |
| تم إضافة التاريخ | ٢٤/٠٢/٢٠١٤ |
| متطلبات نظام التشغيل | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| المتطلبات | None |
| إجمالي التنزيلات | ٩٤٦ |
| السعر | Free to try |
وصف
مرحبًا بكم في B-Prolog ، وهو نظام متعدد الاستخدامات وفعال لبرمجة منطق القيد (CLP)! يتم تقديم B-Prolog إليك من قبل Afany Software (نيويورك) و KLS (طوكيو) و NandaSoft (نانجينغ).
تعتبر ولادة CLP علامة فارقة في تاريخ لغات البرمجة. يجمع CLP بين نموذجين للبرمجة التعريفي: البرمجة المنطقية وحل القيود. أثبتت الطبيعة التصريحية أنها جذابة في العديد من التطبيقات بما في ذلك التصميم والتحقق بمساعدة الكمبيوتر ، وقاعدة البيانات ، واستخراج البيانات ، وهندسة البرمجيات ، والتحسين ، والتكوين ، وواجهة المستخدم الرسومية ، ومعالجة اللغة. إنه يعزز بشكل كبير إنتاجية تطوير البرامج وإمكانية صيانتها. بالإضافة إلى ذلك ، نظرًا لتوافر تقنيات حل القيود وإدارة الذاكرة والتجميع بكفاءة ، يمكن أن تكون برامج CLP أكثر كفاءة من نظيراتها المكتوبة بلغات إجرائية.
