تخطي إلى المحتوى
الرئيسية
من نحن
الأسئلة الشائعة
سياسة الخصوصية
استفاقة
استفاقة
Main Menu
الرئيسية
من نحن
الأسئلة الشائعة
سياسة الخصوصية
برمجة منطقية
الرئيسية
برمجة منطقية
الذكاء الاصطناعي
,
برمجة
,
برمجة منطقية
,
لغات البرمجة
لامدا برولوج (ΛProlog)
برمجة
,
تزامن
,
قيود
,
منطق
البرمجة المنطقية المقيدة المتزامنة (Concurrent Constraint Logic Programming)
برمجة
,
ذكاء اصطناعي
,
قيود
,
منطق
البرمجة المنطقية المقيدة (Constraint Logic Programming)
برمجة
,
برولوج
,
ذكاء اصطناعي
,
لغات برمجة
GNU Prolog – جنو برولوج