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 sửa
- ^ 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 sửa
- Lập trình logic hàm tại U. Kiel
- Thư viện "func" cho SWI-Prolog