Lập trình logic hàm

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.Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74-85. 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.Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language ." Proc. ILPS. Vol. 95. No. 5. 1995.

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 

 Tham khảo 

 Liên kết ngoài 

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

Thể loại:Mẫu hình lập trình
Thể loại:Lập trình logic
Thể loại:Lập trình hàm