函数式逻辑编程

函数式逻辑编程，是在一个单一的编程语言中，组合函数式编程和逻辑编程两种编程范式Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74-85.。这种编程风格已经体现在多种编程语言中，包括Curry、Mercury和Oz等Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language ." Proc. ILPS. Vol. 95. No. 5. 1995.。

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

引用

外部链接
 Functional logic programming  at U. Kiel
 "func" library for SWI-Prolog 

Category:函数式编程
Category:逻辑编程
Category:编程范式