برمجة وظيفية منطقية
Funktionallogische Programmierung
programming paradigm that combines logic programming with functional programming
Functional logic programming
函数式逻辑编程