函数式逻辑编程
函数式逻辑编程,是在一个单一的编程语言中,组合函数式编程和逻辑编程两种编程范式[1]。这种编程风格已经体现在多种编程语言中,包括Curry、Mercury和Oz等[2][1]。
引用
- ^ 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 (页面存档备份,存于互联网档案馆)
这是一篇关于计算机程序语言的小作品。您可以通过编辑或修订扩充其内容。 |