O que é a programação de restrição?
A programação de restrições é uma forma de programação declarativa que usa restrições matemáticas para definir como as variáveis dentro do programa se relacionam. Esses tipos de técnicas de programação normalmente interagem com outros tipos de técnicas de programação, como técnicas lógicas e imperativas. Essas técnicas lógicas e imperativas fazem com precisão o que a programação de restrição evita, progredindo logicamente através de declarações computacionais e executando as alterações. A programação de restrições é frequentemente combinada com a programação lógica para formar a programação lógica de restrição, que é uma versão estendida da programação lógica. A programação lógica inclui requisitos literais e comparações de variáveis, e a programação lógica de restrição o estende para incluir restrições.
Uma restrição é um termo matemático avançado, mas é essencialmente uma condição que deve ser satisfeita ao tomar uma decisão. Esta é uma definição simplista, e o paradigma de programação é melhor entendido quando um usoR tem uma sólida compreensão da matemática. Ao analisar as restrições relacionadas à programação de restrições, as restrições mapeiam como as variáveis no programa devem se relacionar. Em vez de se concentrar nas etapas, esses tipos de idiomas especificam ou declaram relacionamentos computacionais. A programação de restrição é um tipo de programação declarativa porque a lógica é expressa e explicada, em vez de executada sistematicamente uma etapa de cada vez.
Na programação de computador, as variáveis têm uma definição que pode ser um pouco diferente da definição matemática. Uma variável pode significar qualquer coisa, a menos que um programa de computador tenha definido seu significado. À primeira vista, quando se diz que a programação de restrições usa restrições para definir como as variáveis devemRelacionam -se um com o outro, pode parecer que isso não é suficiente para escrever um programa de computador inteiro. Na realidade, como as variáveis de programação de computadores podem abranger uma quantidade ilimitada de dados, definindo especificidades de como elas devem se relacionar entre si têm um nível muito alto de poder de programação.
A programação de restrições é um paradigma de programação, o que significa que ele declara idéias fundamentais sobre o que as coisas básicas significam que podem ser radicalmente diferentes em comparação com outros paradigmas de programação. Paradigmas diferentes podem fazer praticamente qualquer coisa de uma maneira diferente de outro idioma. Um idioma pode usar a lógica seqüencial, enquanto outro pode não. Diferentes paradigmas geralmente usam diferentes blocos básicos de informação e relacionamentos para representar instruções. Muitas coisas que são fundamentais para outros paradigmas de programação, como executar logicamente muitas linhas em sucessão, não são usadas na programação de restrições.