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

Mẫu hình lập trình
Action language Hướng tác tử Hướng mảng Automata-based programming Concurrent computing Relativistic programming Data-driven programming Khai báo (ngược với: Mệnh lệnh) Hàm Logic hàm Purely functional Logic Abductive logic Answer set Concurrent logic Logic hàm Inductive logic Ràng buộc Constraint logic Concurrent constraint logic Dataflow Flow-based Phản ứng Dynamic/scripting Hướng sự kiện Function-level (ngược với: Value-level) Point-free style Concatenative Tổng quát Mệnh lệnh (ngược với: Khai báo) Thủ tục Hướng đối tượng Literate Language-oriented Natural-language programming Discipline-specific Ngôn ngữ miền chuyên biệt Grammar-oriented Intentional Lập trình meta Automatic Inductive programming Reflective Attribute-oriented Macro Template Non-structured (ngược với: Cấu trúc) Array Nondeterministic Tính toán song song Process-oriented Probabilistic Stack-based Structured (ngược với: Non-structured) Block-structured Hướng đối tượng Actor-based Dựa trên lớp Đồng thời Dựa trên nguyên mẫu By separation of concerns: Hướng khía cạnh Role-oriented Subject-oriented Đệ quy Ký hiệu Value-level (ngược với: Function-level) Lập trình lượng tử

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

Bài chi tiết: Lập trình logic ràng buộc

Xem thêm

• Combinatorial optimization
• Constraint logic programming
• Concurrent constraint logic programming
• Mathematical optimization
• Heuristic algorithms
• Nurse scheduling problem
• Traveling tournament problem

Liên kết ngoài

• Association for Constraint Programming
• CP Conference Series Lưu trữ 2019-02-11 tại Wayback Machine
• Guide to Constraint Programming
• The Mozart Programming System tại Archive.today (lưu trữ 2012-12-05), an Oz-based free software (X11-style)
• Cork Constraint Computation Centre tại Archive.today (lưu trữ 2013-01-07)
• Global Constraint Catalog