функционально-логическое программирование (functional logic programming)

Объединение парадигм функционального и логического программирования в одном языке.