Logic Programming

البرمجة المنطقية

يحتوي على ملفات المصدر والمعلومات ذات الصلة حول رموز البرمجة المنطقية المبرمجة خلال ربيع 2018 للدورة CS6374: المنطق الحسابي بواسطة راهول نالوادي.

الدلائل:

1. برولوج الأساسية
2. معالجة القائمة والأشجار والحساب
3. الحساب الفعال والبحث غير الحتمي ومشكلة الأفعى البلجيكية
4. برمجة مجموعة الإجابات (ASP)
5. برمجة منطق القيد