Software science analysis of prolog تحليل علم البرمجيات للغة برولوج

Abstract

The theory of software science attempts formularization of software characteristics It was developed by the late M H Halstead of Purdue University during the early 1970's During the past years large numbers of empirical and psychological studies were performed to validate and investigate capabilities of proposed software metrics Most of these studies supplied evidence to support the theory The ongoing process of verification and refinement of theory initiated its application in wide areas including estimating complexity of software maintenance and relating software errors to the theory Within the fame of these investigations a great interest has been shown towards application of software science t programming languages for evaluation of their relative levels and testing of length equation In this regard an extensive published work exists covering experimentation on various programming languages however all previous studies have been mainly concerned with application of software science to conventional 'Procedural Languages' It obviously triggers motivations to explore applicability of software science to newly emerging 'Declarative Languages' The work in t is paper reports on a pioneer investigation into the application of software science to a fifth generation declarative language like Prolog Various tools and databases have been developed which provide online software metrics research environments and datacollection for declarative languages including prolog These tools were used to analyze large number of Prolog programs collected from published literature and university environments Two fundamental counting rules and their possible interaction were studied for Prolog programs The results from experimentation clearly indicate to the significant fact that software science can be successfully applied to Prolog These results have nicely verified the length equation The study concludes that Prolog has higher language level than all other programming languages previously studied This prediction strongly confirms the common intuition on Prolog level relative to the other procedural languages

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