函數式邏輯編程

函數式邏輯編程,是在一個單一的編程語言中,組合函數式編程邏輯編程兩種編程範式[1]。這種編程風格已經體現在多種編程語言中,包括CurryMercuryOz[2][1]

麻省理工學院出版社和歐洲編程語言及系統協會在1995年至2008年出版了致力於集成函數式和邏輯編程的科學期刊[3]

引用

  1. ^ 1.0 1.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頁面存檔備份,存於網際網路檔案館)." Proc. ILPS. Vol. 95. No. 5. 1995.
  3. ^ Kuchen, Herbert. The Journal of Functional and Logic Programming. University of Münster. [2020-04-24]. (原始內容存檔於2018-12-31). 

外部連結