logic programing

Định nghĩa

Logic programming (danh từ): Một phương pháp lập trình máy tính dựa trên logic hình thức. Trong phương pháp này, lập trình viên định nghĩa các sự kiện và quy tắc logic, và máy tính sử dụng suy luận logic để giải quyết vấn đề hoặc trả lời các truy vấn. Nó khác với lập trình thủ tục (imperative programming) vì tập trung vào "cái gì là đúng" thay vì "làm thế nào để đạt được kết quả".

Ví dụ sử dụng
  • (Lập trình logic thường được sử dụng trong trí tuệ nhân tạo và xử lý ngôn ngữ tự nhiên.)
  • (Prolog là một trong những ngôn ngữ phổ biến nhất cho lập trình logic.)
  • (Trong lập trình logic, lập trình viên định nghĩa các sự kiện và quy tắc, sau đó hệ thống suy luận ra kết luận.)
Các cách sử dụng nâng cao

  • Logic programming paradigm: Mô hình lập trình logic, tập trung vào khai báo tri thức dưới dạng các mệnh đề logic.

    • The logic programming paradigm is ideal for problems involving symbolic reasoning. (Mô hình lập trình logic rất lý tưởng cho các vấn đề liên quan đến suy luận biểu tượng.)

  • Constraint logic programming: Một biến thể của lập trình logic kết hợp với các ràng buộc (constraints) để giải quyết bài toán tối ưu hóa.

    • Constraint logic programming is used in scheduling and resource allocation. (Lập trình logic ràng buộc được sử dụng trong lập lịch và phân bổ tài nguyên.)
Biến thể và từ gần giống
  • Logic programmer (danh từ): Người lập trình logic.
    • A logic programmer must have strong skills in formal logic. (Một lập trình viên logic phải có kỹ năng mạnh về logic hình thức.)
  • Logic programming language (danh từ): Ngôn ngữ lập trình hỗ trợ lập trình logic, ví dụ: Prolog, Datalog.
Từ đồng nghĩa
  • Declarative programming: Lập trình khai báo (một phương pháp lập trình rộng hơn, trong đó lập trình viên mô tả kết quả mong muốn thay vì các bước thực hiện).
  • Rule-based programming: Lập trình dựa trên quy tắc (một khái niệm gần giống, nhưng ít chính thức hơn).
Các cụm từ (phrasal verbs) liên quan
  • Không có phrasal verbs cụ thể cho thuật ngữ này.
Thành ngữ liên quan
  • Không có thành ngữ phổ biến liên quan đến "logic programming".

Từ gần giống