تحليل علم البرمجيات للغة برولوج

أجريت أبحاث ودراسات عديدة سابقة مركزة أساساً على تطبيق علم البرمجيات على اللغات الإجرائية التقليدية. وهذا بالطبع ولَّد الرغبة في استكشاف تطبيق نظرية البرمجيات على اللغات الوصفية. ويقدم هذا البحث خطوة رائدة في إتجاه تطبيق علم البرمجيات على لغات الجيل الخامس مثل برولوج. وهناك العديد من الأدوات وقواعد البيانات التي تم تطويرها والتي تهيء بيئة بحثية مناسبة لقياسات البرمجيات وبما تضمنه من جمع بيانات للغة الوصفية بما فيها لغة برولوج مجمعة من المطبوعات المختلفة وكذلك من بيئة الجامعات. وقد تم استخدام قاعدتين أساسيتين للعدّ ودراسة إمكانية تفاعلها وذلك لبرامج برولوج. وقد أوضحت منتائج هذه التجارب أنه بالإمكان تطبيق علم البرمجيات بنجاح على لغة برولوج. وقد ساعدت هذه النتائج على التحقق من معادلة الطول. كما أوضحت علم البرمجيات بنجاح على لغة برولوج لها مستوى لغوي أعلى من لغات البرمجة السابقة دراستها. وهذا يؤكد الاعتقاد السائد عن مستوى لغة البرولوج مقارنة بغيرها من اللغات الإجرائية.