Paadigmas De La Programaciom

Programación declarativa

En los comienzos de los años 70 el francés Alain Colmenuer desarrolló el lenguaje PROLOG que también permite el desarrollo de aplicaciones en forma declarativa En lalógica clásica se ha utilizado de manera general dos valores veritativos para
indicar cuando una determinada fórmula lógica es consecuencia o deducible a partir de un conjunto de fórmulas lógicas. Eneste sentido, cuando en una interpretación una fórmula ' toma el valor cierto indica que, en efecto, la fórmula es deducible en la interpretación del conjunto de fórmulas iníciales dado, y toma el valorfalso en otro caso, i.e. cuando no es deducible.
Esta visión de la lógica tiene el inconveniente de que no permite tratar adecuadamente aquellos casos en los que existe una ausencia de informacióntotal, o cuando la información disponible no resulta del todo certera. Por ello, han surgido a lo largo de los últimos 30 años una serie de aproximaciones en distintas áreas de la lógica que intentanaportar herramientas adecuadas que permitan tratar con situaciones en las que o bien no se tenga toda la información posible para poder asegurar la veracidad de las informaciones en juego, o bien seacepte que la veracidad de las informaciones puede no ser completa.
Así, surgen en general, lógicas específicas y enfoques de programación en los que resulta posible representar distintos grados oniveles de certidumbre para las fórmulas o la información, de manera que permiten trabajar sobre unos niveles de información a partir de los cuales pueden extraerse conclusiones que, de otro modo, noserían posibles La programación declarativa es un paradigma de programación caracterizado por la independencia del orden de evaluación y la eliminación de la asignación y otras estructuras de controlcaracterísticas de los lenguajes imperativos. Es común en los lenguajes declarativos evitar en los programas toda indicación a cómo debe procederse para alcanzar los objetivos
Deseados, limitándose a...