programación lógica funcional

La combinación de paradigmas de programación funcional y lógica en un lenguaje único.