Introducción a la programación lógica funcional

Vista previa del material en texto

ntroducción a la programación lógica funcional
La programación lógica funcional es un paradigma de programación que se basa en la evaluación de funciones matemáticas y evita los efectos secundarios. En este paradigma, los programas se construyen principalmente a partir de funciones puras, que son funciones que producen el mismo resultado dado el mismo conjunto de entradas y no tienen efectos secundarios. Esto significa que una función pura no modifica el estado de ninguna variable o realiza ninguna acción externa, como leer un archivo o enviar una solicitud de red.
Uno de los principios fundamentales de la programación funcional es la inmutabilidad de los datos. En la programación funcional, los datos se consideran inmutables, lo que significa que una vez que se han creado, no se pueden modificar. En lugar de modificar los datos existentes, se crean nuevas estructuras de datos con los cambios necesarios. 
Esto ayuda a prevenir los efectos secundarios no deseados y simplifica el razonamiento sobre el código.
Otro concepto importante en la programación funcional es la recursión. La recursión es un enfoque en el que una función se llama a sí misma dentro de su definición. Esto permite procesar estructuras de datos de manera eficiente y concisa. Por ejemplo, una función recursiva puede utilizarse para recorrer una lista o para calcular un valor factorial.