Programacion declarativa

Programación Declarativa
La programación declarativa debe cumplir con ciertas características para que sea considerada como tal; entre algunas de éstas destacan:
Se necesita disponer de unlenguaje que sea lo suficientemente expresivo.
Disponer de una semántica operacional.
También se requiere una semántica declarativa que permita dar un significado a los programas de forma independiente auna posible ejecución.
Resultados de corrección y completitud.
Los lenguajes de programación declarativa se clasifican en dos grandes grupos, en el que cada uno de estos tiene varios lenguajesque se pueden utilizar:
Lenguajes lógicos
SWI-Prolog: Es un lenguaje de programación puramente lógico, ya que se basa en la lógica de predicados.
Se utiliza mucho para realizar aplicaciones en lasque se requiera almacenar y consultar conocimiento en base a información que nosotros le introduzcamos a la aplicación.
Un ejemplo muy común de base de conocimiento que se puede hacer con Prolog esel Akinator, el cual consiste en pensar en un personaje y el mismo sistema en base a las respuestas que contestemos en una serie de preguntas que nos haga el sistema podrá adivinar sobre quién estamospensando.
Fue desarrollado en los años 70 en Francia como un proyecto que tenía como propósito clasificar lenguajes naturales.
ALF (Algebraic Logical Framework): Es un lenguaje que se consideralógico, a pesar de tener características propias de los lenguajes funcionales.
Está basado en cláusulas de Horn y también en ecuaciones y funciones matemáticas. Aquí es posible combinar lógica depredicados con funciones o viceversa, es decir, un predicado puede ser una condición de una ecuación o una ecuación puede estar dentro de un predicado.
Es muy utilizado para realizar distintas tareas deInteligencia Artificial en la que se involucran decisiones personales.
No existe una documentación muy detallada sobre este lenguaje, lo que se pudo checar es que aparectemente sólo funciona en...