函數式邏輯編程
函數式邏輯編程，是在一個單一的程式語言中，組合函數式程式設計和邏輯編程兩種編程範式[1]。這種編程風格已經體現在多種程式語言中，包括Curry、Mercury和Oz等[2][1]。
麻省理工學院出版社和歐洲程式語言及系統協會在1995年至2008年出版了致力於整合函數式和邏輯編程的科學期刊[3]。
參照
- ^ 1.0 1.1 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 （頁面存檔備份，存於互聯網檔案館）." Proc. ILPS. Vol. 95. No. 5. 1995.
- ^ Kuchen, Herbert. The Journal of Functional and Logic Programming. University of Münster. [2020-04-24]. （原始內容存檔於2018-12-31）.
外部連結
- Functional logic programming （頁面存檔備份，存於互聯網檔案館） at U. Kiel
- "func" library for SWI-Prolog （頁面存檔備份，存於互聯網檔案館）
 | 這是一篇關於電腦程式語言的小作品。您可以透過編輯或修訂擴充其內容。 |