Programación Funcional

Study Notes

Programación Funcional

La programación funcional es un paradigma de programación declarativa basado en el uso de definiciones, expresiones y funciones matemáticas.
Tiene su origen teórico en el cálculo lambda, un sistema matemático creado en 1930 por Alonzo Church.
Los lenguajes funcionales se consideran "azúcar sintáctico" del cálculo lambda.

Características de la Programación Funcional

Una función define un cálculo a realizar a partir de unos datos de entrada, y su resultado solo depende de esos datos de entrada.
Una función no puede tener estado interno ni depender del estado del programa.
Una función no puede producir ningún efecto observable fuera de ella, excepto calcular y devolver su resultado.

Programación Lógica

La programación lógica es un paradigma de programación que se basa en la lógica formal, especialmente la lógica matemática y la lógica proposicional.
Permite que los problemas sean formulados en términos de relaciones, representadas como hechos y reglas dentro de un programa.
Uno de los lenguajes de programación más emblemáticos de este paradigma es Prolog.

Características de la Programación Lógica

Reglas y Hechos: El núcleo de cualquier programa lógico consiste en hechos y reglas que son inferencias sobre objetos.
Resolución y Búsqueda: Prolog y otros lenguajes de programación lógica utilizan un motor de inferencia que aplica métodos de resolución para deducir conclusiones a partir de las reglas definidas.

Aplicaciones de la Programación Lógica

Sistemas Expertos: En medicina, derecho y otros campos, los sistemas expertos utilizan la programación lógica para emular el razonamiento humano y proporcionar decisiones basadas en un conjunto complejo de reglas.
Procesamiento del Lenguaje Natural (NLP): La programación lógica se aplica para construir gramáticas y analizar el significado de las oraciones.
Bases de Datos y Recuperación de Información: La capacidad de formular consultas complejas y realizar búsquedas lógicas sobre grandes conjuntos de datos es fundamental en la gestión moderna de bases de datos.

Ventajas de la Programación Lógica

Claridad y Concisión: Los programas escritos en un lenguaje lógico tienden a ser más cortos y más fáciles de entender en comparación con aquellos escritos en lenguajes imperativos o de objetos debido a su naturaleza descriptiva.
Facilidad de Modificación: Añadir nuevo conocimiento, como reglas o hechos, no requiere grandes cambios en el código existente.

Description

Aprende sobre el paradigma de programación declarativa basado en el uso de definiciones, expresiones y funciones matemáticas. Conoce su origen teórico en el cálculo lambda y cómo se aplica en lenguajes funcionales.