Методология программирования в ограничениях — это подход, в котором в программе для искомого решения определяется тип данных, предметная область и ограничения на его значение. Данная методология предполагает двухуровневую архитектуру, интегрирующую компонент ограничений и программный компонент.
[Боровская Е. В. Основы искусственного интеллекта: учебное пособие / Е. В. Боровская, Н. А. Давыдова. 4-ое изд., электрон. М.: Лаборатория знаний, 2020. — 130 с.]