الذكاء الاصطناعي, برمجة, برمجة منطقية, لغات البرمجة

لامدا برولوج (ΛProlog)