Xem mã nguồn của Lập trình logic hàm

{{Mẫu hình lập trình}}

'''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 hàm|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.<ref name="ACM">Antoy, Sergio, and Michael Hanus. "[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf Functional logic programming]." Commun. ACM 53.4 (2010): 74-85.</ref> Phong cách lập trình này được thể hiện bằng nhiều [[:Thể loại:Ngôn ngữ lập trình logic hàm|ngôn ngữ lập trình]] khác nhau, bao gồm [[Curry (ngôn ngữ lập trình)|Curry]] và [[Mercury (ngôn ngữ lập trình)|Mercury]].<ref>Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "[https://pdfs.semanticscholar.org/d1b4/e96aeb14b2e6c577887a819d8f3c438a122d.pdf Curry: A truly functional logic language] {{Webarchive|url=https://web.archive.org/web/20190305105250/http://pdfs.semanticscholar.org/d1b4/e96aeb14b2e6c577887a819d8f3c438a122d.pdf |date=2019-03-05 }}." Proc. ILPS. Vol. 95. No. 5. 1995.</ref>

Một [[Tạp chí khoa học|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 <ref>{{Chú thích web|url=http://danae.uni-muenster.de/lehre/kuchen/JFLP/|title=The Journal of Functional and Logic Programming|author=Kuchen|first=Herbert|publisher=[[University of Münster]]}}</ref>

== Tham khảo ==
{{Tham khảo}}

== Liên kết ngoài ==

* [http://www.informatik.uni-kiel.de/~mh/FLP/ Lập trình logic hàm] {{Webarchive|url=https://web.archive.org/web/20201109035306/http://www.informatik.uni-kiel.de/~mh/FLP/ |date=2020-11-09 }} tại U. Kiel 
* [http://www.swi-prolog.org/pack/list?p=func Thư viện "func" cho SWI-Prolog]

{{sơ khai}}

[[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]]
[[Thể loại:Ngôn ngữ lập trình logic hàm| ]]