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

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