programación lógica funcional

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