函数式逻辑编程

函数式逻辑编程,是在一个单一的编程语言中,组合函数式编程逻辑编程两种编程范式[1]。这种编程风格已经体现在多种编程语言中,包括CurryMercuryOz[2][1]

麻省理工学院出版社和欧洲编程语言及系统协会在1995年至2008年出版了致力于集成函数式和逻辑编程的科学期刊[3]

引用

  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. . University of Münster. [2020-04-24]. (原始内容存档于2018-12-31).

外部链接

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.