Programarea cu constrângeri este o formă de programare declarativă care utilizează constrângeri matematice pentru a defini modul în care variabilele din program se relaționează între ele. Aceste tipuri de tehnici de programare interacționează de obicei cu alte tipuri de tehnici de programare, cum ar fi tehnicile logice și imperative. Aceste tehnici logice și imperative fac exact ceea ce evită programarea cu constrângeri, progresând logic prin declarații de calcul și executând modificări. Programarea cu constrângeri este adesea combinată cu programarea logică pentru a forma programarea logică a constrângerilor, care este o versiune extinsă a programării logică. Programarea logică include cerințe literale și comparații ale variabilelor, iar programarea logică cu constrângeri extinde acest lucru pentru a include constrângeri.
O constrângere este un termen matematic avansat, dar este în esență o condiție care trebuie îndeplinită atunci când se ia o decizie. Aceasta este o definiție simplistă, iar paradigma de programare este cel mai bine înțeleasă atunci când un utilizator are o înțelegere solidă a matematicii. Când se uită la constrângeri în legătură cu programarea constrângerilor, constrângerile evidențiază modul în care variabilele din program trebuie să se relaționeze între ele.
Programarea declarativă este o paradigmă de programare care nu implică dictarea modului în care fiecare pas individual al unui program este efectuat sau executat. În loc să se concentreze pe pași, aceste tipuri de limbaje specifică sau declară relații de calcul. Programarea cu constrângeri este un tip de programare declarativă, deoarece logica este exprimată și explicată, în loc să fie executată sistematic pas cu pas.
În programarea computerelor, variabilele au o definiție care poate fi puțin diferită de definiția lor matematică. O variabilă poate însemna orice, cu excepția cazului în care un program de calculator și-a definit sensul. La prima vedere, când se spune că programarea cu constrângeri folosește constrângeri pentru a defini modul în care variabilele trebuie să se relaționeze între ele, poate părea că acest lucru nu este suficient pentru a scrie un întreg program de calculator cu care. În realitate, deoarece variabilele de programare a computerului pot cuprinde o cantitate nelimitată de date, definirea specificului modului în care trebuie să se relaționeze între ele are un nivel foarte ridicat de putere de programare.
Programarea cu constrângeri este o paradigmă de programare, ceea ce înseamnă că prezintă idei fundamentale despre ceea ce înseamnă lucrurile de bază, care pot fi radical diferite în comparație cu alte paradigme de programare. Diferite paradigme pot face practic orice într-un mod diferit decât o altă limbă. O limbă poate folosi logica secvenţială, în timp ce alta nu poate. Diferite paradigme folosesc adesea diferite blocuri de bază de informații și relații pentru a reprezenta instrucțiuni. Multe lucruri care sunt fundamentale pentru alte paradigme de programare, cum ar fi executarea logică a mai multor linii în succesiune, nu sunt folosite în programarea cu constrângeri.