La programmazione con vincoli è una forma di programmazione dichiarativa che utilizza vincoli matematici per definire il modo in cui le variabili all’interno del programma si relazionano tra loro. Questi tipi di tecniche di programmazione interagiscono tipicamente con altri tipi di tecniche di programmazione, come le tecniche logiche e imperative. Queste tecniche logiche e imperative fanno esattamente ciò che la programmazione con vincoli evita, progredendo logicamente attraverso istruzioni computazionali ed eseguendo modifiche. La programmazione dei vincoli è spesso combinata con la programmazione logica per formare la programmazione della logica dei vincoli, che è una versione estesa della programmazione logica. La programmazione logica include requisiti letterali e confronti di variabili e la programmazione logica dei vincoli lo estende per includere i vincoli.
Un vincolo è un termine matematico avanzato, ma è essenzialmente una condizione che deve essere soddisfatta quando si prende una decisione. Questa è una definizione semplicistica e il paradigma di programmazione è meglio compreso quando un utente ha una solida conoscenza della matematica. Quando si esaminano i vincoli in relazione alla programmazione dei vincoli, i vincoli tracciano il modo in cui le variabili nel programma devono essere correlate tra loro.
La programmazione dichiarativa è un paradigma di programmazione che non implica dettare il modo in cui ogni singolo passaggio di un programma viene eseguito o eseguito. Invece di concentrarsi sui passaggi, questi tipi di linguaggi specificano o dichiarano relazioni computazionali. La programmazione con vincoli è un tipo di programmazione dichiarativa perché la logica viene espressa e spiegata, invece di essere eseguita sistematicamente un passo alla volta.
Nella programmazione per computer, le variabili hanno una definizione che può essere leggermente diversa dalla loro definizione matematica. Una variabile può significare qualsiasi cosa a meno che un programma per computer non ne abbia definito il significato. A prima vista, quando si dice che la programmazione con vincoli usa i vincoli per definire come le variabili devono relazionarsi tra loro, può sembrare che questo non sia sufficiente per scrivere un intero programma per computer. In realtà, poiché le variabili di programmazione del computer possono comprendere una quantità illimitata di dati, definire le specifiche di come devono relazionarsi tra loro ha un livello molto elevato di potere di programmazione.
La programmazione con vincoli è un paradigma di programmazione, il che significa che afferma idee fondamentali su cosa significano le cose di base che possono essere radicalmente diverse rispetto ad altri paradigmi di programmazione. Paradigmi diversi possono fare praticamente qualsiasi cosa in un modo diverso rispetto a un’altra lingua. Una lingua può usare la logica sequenziale, mentre un’altra no. Paradigmi diversi utilizzano spesso diversi blocchi di informazioni e relazioni di base per rappresentare le istruzioni. Molte cose che sono fondamentali per altri paradigmi di programmazione, come l’esecuzione logica di molte righe in successione, non vengono utilizzate nella programmazione con vincoli.