Lập trình ràng buộc là một trong những phát triển thú vị và mạnh mẽ nhất của ngôn ngữ lập trình trong thập kỷ gần đây .Được xây dựng trên cơ sở lý thuyết toán học vững chắc , nó đang phát triển và đặc biệt là nó cũng đang thu hút sự quan tâm mạnh mẽ trong việc áp dụng vào lĩnh vực thương mại , nó trở thành phương pháp mô hình hóa cho nhiều loại bài toán tối ưu , cụ thể là trong các ràng buộc có sự hỗn tạp và các bài toán tìm kiếm.