paradigma declarativo

Paradigma
Declarativo

 Fuertemente

basado
en
el
establecimiento
de
relaciones,
el
paradigma declarativo hace uso de
funciones o bien de la lógica de
predicados para establecerdichas
relaciones, y por esto se puede distinguir
entre otras dos grandes ramas que
agrupan a los lenguajes bajo esta
filosofía, denominadas:

 Paradigma

funcional: basado en la evaluación
defunciones matemáticas.
Paradigma lógico: se sustenta en la idea de
que un problema puede ser descrito
definiendo ciertas relaciones sobre un conjunto
de datos, y que pueden obtenerse
conclusionesa partir de estas premisas
aceptadas como validas, por medio de
aplicación de ciertas reglas de deducción.

 Claros

ejemplos de estos paradigmas son Haskell
y Prolog respectivamente.Curiosamente hay otro
lenguaje, Curry (lenguaje declarativo) que fue
creado para unificar lo mejor de la
programación lógica y la programación
funcional.

 El

paradigma declarativo es un paradigmaque se centra en la descripción del problema,
más que los procedimientos necesitamos para
llegar a la solución del problema.
 Lo más importante, es descubrir un algoritmo
general para laresolución del problema.
Después de hacer esto sólo tenemos que
expresarlos en una forma compatible con dicho
algoritmo y aplicarlo.
 Acá la tarea del programador es crear un
enunciado preciso delproblema, más que a
descubrir un algoritmo para resolverlo.

 Las

variables sólo pueden tener asignado un solo
valor a lo largo de la ejecución del programa, lo
cual implica que no puedeexistir asignación
destructiva. Debido a esto, cobra especial
importancia el uso de recursividad.
 Las listas representan la estructura fundamental
de datos.

 Con

la información anterior, elsistema debe
poder derivar un esquema de evaluación que
nos permita computar una solución, es decir, no
existe una descripción paso a paso de cómo
llegar a la solución como la hay por ejemplo en...