Lập trình logic hàm

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ử
x t s

Lập trình logic hàm (tiếng Anh: functional logic programming) là sự kết hợp mẫu hình lập trình chức năng và lập trình logic thành một ngôn ngữ lập trình duy nhất.^[1] Phong cách lập trình này được thể hiện bằng nhiều ngôn ngữ lập trình khác nhau, bao gồm Curry và Mercury.^[2]

Một tạp chí dành cho việc tích hợp lập trình chức năng và logic đã được xuất bản bởi MIT Press và Hiệp hội Châu Âu về Ngôn ngữ Lập trình và Hệ thống từ năm 1995 đến năm 2008 ^[3]

Tham khảo

1. Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74-85.
2. Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language Lưu trữ 2019-03-05 tại Wayback Machine." Proc. ILPS. Vol. 95. No. 5. 1995.
3. Kuchen, Herbert. “The Journal of Functional and Logic Programming”. University of Münster.

Liên kết ngoài

• Lập trình logic hàm tại U. Kiel
• Thư viện "func" cho SWI-Prolog