函数式逻辑编程

函数式逻辑编程，是在一个单一的编程语言中，组合函数式编程和逻辑编程两种编程范式。这种编程风格已经体现在多种编程语言中，包括Curry、Mercury和Oz等。

引用
外部链接

• [http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel
• [http://www.swi-prolog.org/pack/list?p=func "func" library for SWI-Prolog]