straint chương trình là để giải quyết vấn đề bằng cách nêu rõ ràng buộc (điều kiện, thuộc tính) mà phải được hài lòng bởi các giải pháp.Các công việc trong lĩnh vực này có thể được theo dõi quay lại nghiên cứu trong trí tuệ nhân tạo và đồ họa máy tính trong những năm sáu mươi và năm bảy mươi. Chỉ trong thập kỷ qua, Tuy nhiên, đã có nổi lên một nhận thức ngày càng tăng rằng những ý tưởng cung cấp cơ sở cho một cách tiếp cận mạnh mẽ để lập trình, mô hình và giải quyết vấn đề và rằng những nỗ lực khác nhau để khai thác những ý tưởng có thể được thống nhất dưới một phổ biến khái niệm và thực hiện khuôn khổ, hạn chế lập trình.
đang được dịch, vui lòng đợi..