يقدم المقرر مقدمة في البرمجة المنطقية. تشمل الموضوعات: بناء الجملة ودلالات برولوج. مترجم برولوج حل المشكلات في الذكاء الاصطناعي ؛ استعلام قاعدة بيانات برولوج والتحليل والبرمجة الوصفية ؛ معالجة القائمة ؛ السيطرة على التراجع. قواعد نحوية محددة ؛ تطبيقات عملية. الويب الدلالي والبرمجة المنطقية.
المخرجات التعليمية المستهدفة من دراسة المقرر
المعرفة والفهم
ان يشرح المفاهيم والتعريفات الأساسية لبرمجة المنطق.
ان يتعرف على المكونات الأساسية للبرنامج باستخدام لغة Prolog
ان يفهم الفرق بين البرمجة التصريحية والبرمجة الإجرائية Declarative vs Procedural programming
ان يفهم مبادئ المواصفات التصريحية principles of declarative specification
ان يفسر المشكلات بأسلوب البرمجة المنطقية
ان يتعرف على facts و rules
ان يشرح مصطلح Predicates
ان يشرح السمات المختلفة للمتغيرات في لغة Prolog
المهارات الذهنية
ان يميز بين أنواع المصطلحات المختلفة (كائنات البيانات( في لغة Prolog
ان يقارن بين أسلوب البرمجة التصريحية و البرمجة الاجرائية
ان يميز الطالب بين unification ، و backtrackingلتقييم سلسلة من الأهداف
ان يقارن قيم arithmetic expressions .
ان يصف التقنيات الرئيسية لمعالجة String في Prolog
المهارات العملية والمهنية
ان يستخدم لغة Prolog و يصمم برامج Prolog جيدة الاعداد
ان يستخدم تقنية unification and backtrackingلتقييم سلسلة من الأهداف التي ادخلها المستخدم .
تقييم arithmetic expressions و مقارنة قيمتها.
تقييم مجموعة من الأهداف بشكل متكرر في Prolog
استخدام "’Cut’ predicate " و " Cut with Failure" لتحديد استثناءات للقواعد العامة
تحديد predicates لإنشاء ومعالجة قاعدة بيانات ل facts ذات الصلة داخل قاعدة بيانات Prolog.
تمثيل البيانات Dataفي شكل قوائم Lists
المهارات العامة والمنقولة
التواصل التحريري واعداد التقارير المكتوبة
أن يستعين بمواقع الانترنت والمراجع العلمية للدراسة المستقلة