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ănglậ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 CurryMercury.[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 | sửa mã nguồn]
  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ữ ngày 5 tháng 3 năm 2019 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

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Xiao: Dạ Xoa cuối cùng - Genshin Impact
Xiao: Dạ Xoa cuối cùng - Genshin Impact
Xiao là của một linh hồn tội lỗi đã phải chịu đựng rất nhiều đau khổ
Viễn cảnh đầu tư 2024: giá hàng hóa leo thang và “chiếc giẻ lau” mới của Mỹ
Viễn cảnh đầu tư 2024: giá hàng hóa leo thang và “chiếc giẻ lau” mới của Mỹ
Lạm phát vẫn ở mức cao khiến FED có cái cớ để tiếp tục duy trì thắt chặt, giá cả của các loại hàng hóa và tài sản vẫn tiếp tục xu hướng gia tăng
Doctor Who và Giáng sinh
Doctor Who và Giáng sinh
Tồn tại giữa thăng trầm trong hơn 50 năm qua, nhưng mãi đến đợt hồi sinh mười năm trở lại đây
Giới thiệu Light Novel: Isekai Meikyuu no Saishinbu wo Mezasou
Giới thiệu Light Novel: Isekai Meikyuu no Saishinbu wo Mezasou
Một chàng trai thành phố bất ngờ tỉnh lại trong một hành lang tối tăm mà không hiểu chuyện gì đang xảy ra.