Lập trình ràng buộc

Trong khoa học máy tính, lập trình ràng buộc (tiếng Anh: constraint programming) là một mẫu hình lập trình trong đó mối quan hệ giữa các biến được mô tả ở dạng các ràng buộc. Ràng buộc khác với thành phần cơ bản phổ biến của ngôn ngữ lập trình mệnh lệnh ở chỗ chúng không nêu rõ từng bước hay trình tự để thực hiện, thay vào đó là các thuộc tính để tìm ra giải pháp. Điều này khiến cho lập trình ràng buộc là một dạng của lập trình khai báo. Có nhiều loại ràng buộc trong lập trình ràng buộc: những thứ được dùng trong vấn đề thỏa mãn ràng buộc (constraint satisfaction problem) như "A hay B đúng", bất đẳng thức tuyến tính (linear inequality) như "x ≤ 5", và các loại khác. Ràng buộc thường được nhúng vào ngôn ngữ lập trình hay được cung cấp thông qua các thư viện phần mềm riêng.

Lập trình ràng buộc có thể được mô tả dưới dạng lập trình logic ràng buộc, khi đó nhúng ràng buộc vào trong một chương trình logic. Biến thể này của lập trình logic do Jaffar và Lassez đã mở rộng một lớp cụ thể các ràng buộc được giới thiệu trong Prolog II vào năm 1987. Những hiện thực đầu tiên của lập trình logic ràng buộc là Prolog III, CLP(R), và CHIP.

Thay vì lập trình logic, ràng buộc có thể được trộn lẫn với lập trình hàm, term rewriting system, và lập trình mệnh lệnh. Ngôn ngữ lập trình có sự hỗ trợ tích hợp cho ràng buộc bao gồm Oz (lập trình hàm) và Kaleidoscope (lập trình mệnh lệnh). Hầu hết các ràng buộc được hiện thực trong lập trình mệnh lệnh thông qua bộ công cụ giải quyết ràng buộc (constraint solving toolkit), vốn là các thư viện bên ngoài cho các ngôn ngữ mệnh lệnh hiện có.

Lập trình logic ràng buộc

[sửa | sửa mã nguồn]

Tham khảo

[sửa | sửa mã nguồn]

Liên kết ngoài

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Xilonen – Lối chơi, hướng build và đội hình
Xilonen – Lối chơi, hướng build và đội hình
Là một support với nhiều tiềm năng và liên tục được buff, Xilonen đã thu hút nhiều chú ý từ những ngày đầu beta
Giới thiệu nhân vật Yuri Alpha Overlord
Giới thiệu nhân vật Yuri Alpha Overlord
Yuri Alpha (ユ リ ・ ア ル フ ァ, Yuri ・ α) là đội phó của "Pleiades Six Stars", đội chiến hầu của Lăng mộ vĩ đại Nazarick. Cô được tạo ra bởi Yamaiko, một trong ba thành viên nữ của Ainz Ooal Gown
Cẩm nang đi du lịch Đài Loan trong 5 ngày 4 đêm siêu hấp dẫn
Cẩm nang đi du lịch Đài Loan trong 5 ngày 4 đêm siêu hấp dẫn
Đài Loan luôn là một trong những điểm đến hot nhất khu vực Đông Á. Nhờ vào cảnh quan tươi đẹp, giàu truyền thống văn hóa, cơ sở hạ tầng hiện đại, tiềm lực tài chính ổn định, nền ẩm thực đa dạng phong phú
Arcane - Liên minh huyền thoại
Arcane - Liên minh huyền thoại
Khi hai thành phố song sinh Piltover và Zaun ở thế mâu thuẫn gay gắt, hai chị em chiến đấu ở hai bên chiến tuyến cùng các công nghệ ma thuật và những niềm tin trái chiều.