functional logic programming

The combination of functional and logic programming paradigms into a single language.