الذكاء الاصطناعي, المنطق, النظم الموزعة, علوم الحاسوب, هندسة البرمجيات

CTL* (سي تي إل نجمة)