CLP

برمجة, ذكاء اصطناعي, قيود, منطق

البرمجة المنطقية المقيدة (Constraint Logic Programming)

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

GNU Prolog – جنو برولوج