programação lógica funcional

A combinação de paradigmas de programação funcional e lógica em uma única linguagem.