يقدم المقرر مقدمة في البرمجة المنطقية. تشمل الموضوعات: بناء الجملة ودلالات برولوج. مترجم برولوج حل المشكلات في الذكاء الاصطناعي ؛ استعلام قاعدة بيانات برولوج والتحليل والبرمجة الوصفية ؛ معالجة القائمة ؛ السيطرة على التراجع. قواعد نحوية محددة ؛ تطبيقات عملية. الويب الدلالي والبرمجة المنطقية.