Programacion Logica y Funcional

4.1- Introducción al modelo de programación lógica. La Programación Lógica estudia el uso de la lógica para el planteamiento de problemas y el control sobre las reglas de inferencia para alcanzar la solución automática. La Programación Lógica, junto con la funcional, forma parte de lo que se conoce como Programación Declarativa, es decir la programación consiste en indicar como resolver un problema mediante sentencias, en la Programación Lógica, se trabaja en una forma descriptiva, estableciendo relaciones entre entidades, indicando no como, sino que hacer, entonces se dice que la idea esencial de la Programación Lógica es Programa= lógica + control Lógica (programador): hechos y reglas para representar conocimiento Control (interprete): deducción lógica para dar respuestas (soluciones) La programación lógica intenta resolver lo siguiente: Dado un problema S, saber si la afirmación A es solución o no del problema o en qué casos lo es. Además queremos que los métodos sean implantado...

3.1.-  Repaso de la lógica de primer orden La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. 3.2.- Unificación y resolución  El Método de Resolución es un intento de mecanizar el proceso de deducción natural de forma eficiente. Las demostraciones se consiguen utilizando el método refutativo (reducción al absurdo), es decir lo que se intenta es encontrar contradicciones. Para probar una sentencia basta con demostrar que su negación nos lleva a una contradicción con las sentencias conocidas...

2.1.- Introducción al modelo de programación funcional. El paradigma de programación funcional  es uno de los fundamentales entre los llamados de  programación declarativa . Como tal, permite aunar los componentes de especificación y programación en las tareas de solución automática de problemas. Los lenguajes funcionales ofrecen al programador un buen número de recursos expresivos que permiten resolver problemas complejos  mediante programas pequeños y robustos. Entre ellos cabe destacar: un sistema de tipos polimórficos que permite definir una amplia variedad de estructuras de datos de uso genérico, la posibilidad de definir funciones que aceptan otras funciones como argumentos y devuelven funciones como resultado, facilidades para definir y manipular estructuras de datos infinitas, un modelo computacional simple, claro y bien fundamentado, etc. De no menor importancia es la posibilidad de razonar, de forma sencilla, acerca de las propiedades d...