Piirangu programmeerimine on deklaratiivse programmeerimise vorm, mis kasutab matemaatilisi piiranguid, et määratleda, kuidas programmis olevad muutujad on üksteisega seotud. Seda tüüpi programmeerimistehnikad suhtlevad tavaliselt teist tüüpi programmeerimistehnikatega, näiteks loogiliste ja imperatiivsete tehnikatega. Need loogilised ja imperatiivsed tehnikad teevad täpselt seda, mida programmeerimine väldib, liikudes loogiliselt läbi arvutuslausete ja teostades muudatusi. Piirangu programmeerimine kombineeritakse sageli loogikaprogrammeerimisega, et moodustada piirangute loogika programmeerimine, mis on loogikaprogrammeerimise laiendatud versioon. Loogiline programmeerimine hõlmab sõnasõnalisi nõudeid ja muutujate võrdlusi ning piirangute loogika programmeerimine laiendab seda piirangutega.
Piirang on täiustatud matemaatiline termin, kuid sisuliselt on see tingimus, mis tuleb otsuse tegemisel täita. See on lihtsustatud määratlus ja programmeerimisparadigmat saab kõige paremini mõista, kui kasutajal on matemaatikast kindel arusaam. Kui vaadata piiranguid, kuna need on seotud piirangute programmeerimisega, kaardistavad piirangud, kuidas programmi muutujad peavad üksteisega seostuma.
Deklaratiivne programmeerimine on programmeerimisparadigma, mis ei hõlma programmi iga üksiku sammu läbiviimise või täitmise dikteerimist. Selle asemel, et keskenduda etappidele, täpsustavad või deklareerivad seda tüüpi keeled arvutuslikke seoseid. Piirangprogrammeerimine on deklaratiivse programmeerimise tüüp, kuna loogikat väljendatakse ja selgitatakse, selle asemel, et süstemaatiliselt üks samm korraga täita.
Arvutiprogrammeerimises on muutujatel definitsioon, mis võib nende matemaatilisest määratlusest pisut erineda. Muutuja võib tähendada kõike, kui arvutiprogramm pole selle tähendust määratlenud. Esmapilgul, kui öeldakse, et piirangute programmeerimine kasutab piiranguid, et määratleda, kuidas muutujad peavad üksteisega seostuma, võib tunduda, et sellest ei piisa terve arvutiprogrammi kirjutamiseks. Kuna arvutiprogrammeerimismuutujad võivad hõlmata piiramatul hulgal andmeid, on tegelikkuses nende üksteisega seostumise spetsiifika määratlemisel väga kõrge programmeerimisvõimsus.
Piirangprogrammeerimine on programmeerimisparadigma, mis tähendab, et see esitab põhiideed selle kohta, mida põhiasjad tähendavad, mis võivad teistest programmeerimisparadigmadest kardinaalselt erineda. Erinevad paradigmad võivad teha praktiliselt kõike teistmoodi kui mõni teine keel. Üks keel võib kasutada järjestikust loogikat, teine keel aga mitte. Erinevad paradigmad kasutavad juhiste esitamiseks sageli erinevaid teabe ja seoste põhiplokke. Piirangprogrammeerimises ei kasutata paljusid asju, mis on teiste programmeerimisparadigmade jaoks fundamentaalsed, näiteks paljude ridade järjestikuse loogiline täitmine.