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