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.^[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

^ Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74-85.
^ 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.
^ 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

Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.

[ACM-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.

[1]

[2]

[3]