Begränsningsprogrammering är en form av deklarativ programmering som använder matematiska begränsningar för att definiera hur variabler inom programmet relaterar till varandra. Dessa typer av programmeringstekniker interagerar vanligtvis med andra typer av programmeringstekniker, såsom logiska och imperativa tekniker. Dessa logiska och imperativa tekniker gör exakt vad begränsningsprogrammering undviker, logiskt fortskrider genom beräkningssatser och exekverar ändringar. Begränsningsprogrammering kombineras ofta med logisk programmering för att bilda begränsningslogikprogrammering, som är en utökad version av logisk programmering. Logisk programmering inkluderar bokstavliga krav och jämförelser av variabler, och begränsningslogikprogrammering utökar detta till att omfatta begränsningar.
En begränsning är en avancerad matematisk term, men det är i huvudsak ett villkor som måste uppfyllas när man fattar ett beslut. Detta är en förenklad definition, och programmeringsparadigmet förstås bäst när en användare har ett gediget grepp om matematik. När man tittar på begränsningar som de relaterar till begränsningsprogrammering, kartlägger begränsningar hur variabler i programmet måste förhålla sig till varandra.
Deklarativ programmering är ett programmeringsparadigm som inte innebär att diktera hur varje enskilt steg i ett program genomförs eller exekveras. Istället för att fokusera på stegen, specificerar eller deklarerar dessa typer av språk beräkningsförhållanden. Begränsningsprogrammering är en typ av deklarativ programmering eftersom logik uttrycks och förklaras, istället för att systematiskt utföras ett steg i taget.
Inom datorprogrammering har variabler en definition som kan skilja sig lite från deras matematiska definition. En variabel kan betyda vad som helst om inte ett datorprogram har definierat sin betydelse. Vid en första anblick, när det sägs att begränsningsprogrammering använder begränsningar för att definiera hur variabler måste förhålla sig till varandra, kan det låta som att detta inte räcker att skriva ett helt datorprogram med. I verkligheten, eftersom datorprogrammeringsvariabler kan omfatta en obegränsad mängd data, har det en mycket hög programmeringskraft att definiera detaljer om hur de måste förhålla sig till varandra.
Constraint programmering är ett programmeringsparadigm, vilket betyder att det anger grundläggande idéer om vad grundläggande saker betyder som kan vara radikalt annorlunda jämfört med andra programmeringsparadigm. Olika paradigm kan göra praktiskt taget vad som helst på ett annat sätt än ett annat språk. Ett språk kan använda sekventiell logik, medan ett annat inte kan. Olika paradigm använder ofta olika grundläggande informationsblock och relationer för att representera instruktioner. Många saker som är grundläggande för andra programmeringsparadigm, som att logiskt köra många rader i följd, används inte i begränsningsprogrammering.