Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Autores/as: Pascual Julián Iranzo , María Alpuente Frasnedo
La programación declarativa se basa en la idea de utilizar un cierto tipo de lógica como lenguaje de programación. Esto incluye tanto la programación lógica (o relacional, que usa un lenguaje clausal para programar y el principio de resolución como mecanismo de ejecución) com o la funcional (que usa el lenguaje de las funciones matemáticas y la reducción de expresiones como mecanismo computacional).