Paradigma funcional

Este paradigma se basa en un conjunto de funciones (relaciones que cumplen las propiedades de unicidad y existencia), que pueden ser evaluadas para obtener un resultado. El paradigma funcional est basado en conceptos que vienen de la matemtica, entonces algunas cosas (p.ej. notaciones en el lenguaje) estn sacadas de lo que aprendimos en Anlisis I !lgebra "iscreta. #enguajes$ %as&ell, miranda

Paradigma Lgico
Este paradigma se basa en los conceptos de l'gica matemtica, se basa predicados que caracteri(an o relacionan a los individuos involucrados y la deducci'n de las posibles respuestas a una determinada consulta. #enguajes$ )*+#+,,

Paradigma Declarativo
-uertemente basado en el establecimiento de relaciones, el paradigma declarativo %ace uso de funciones o bien de la l'gica de predicados para establecer dic%as relaciones, y por esto se puede distinguir entre otras dos grandes ramas que agrupan a los lenguajes bajo esta filosof.a #enguajes$ #I)/, /0#

Paradigma imperativo
este paradigma, llamado tambi1n )A*A"I,2A A#,+*I32I4+$ Encuentra soluciones a problemas basndose en la operativa de la mquina de 5+6 6E72A6, que est provista de un programa en su memoria, el cual se va ejecutando secuencialmente, alimentndose de datos de tal memoria, con los que efect8a sus clculos, para luego actuali(ar esta memoria. #a programaci'n en el entorno del paradigma imperativo determina los datos que son requeridos para el clculo, asocia a esos datos a variables que son direcciones de memoria, para luego efectuar paso a paso, las transformaciones de los datos almacenados, de forma que el valor final de la variable sea el resultado buscado.

En el lenguaje com8n, a la serie de transformaciones reali(adas sobre los datos originales les llamamos clculos, que son generados por los algoritmos que transforman los datos de entrada en la soluci'n al problema en cuesti'n.

#enguajes$ 4, 9A/I4, :A5A

PROLOG
)rolog es un lenguaje de programaci'n l'gica cuya primera versi'n fue desarrollada a principios de la d1cada de ;<=> por 4olmerauer en la universidad de 2arsella. 4ontrariamente a otros lenguajes de programaci'n basados es estructuras de control y definici'n de funciones para calcular resultados, )rolog est orientado a la especificaci'n de relaciones para responder consultas. En ese sentido )rolog es similar a un sistema de base de datos, aunque en el contexto de la inteligencia artificial se prefiere %ablar de bases de conocimiento, enfati(ando la complejidad estructural de los datos y de las deducciones que se pueden obtener de ellos.

HASKELL
?as&ell es un lenguaje de programaci'n puramente funcional. En los lenguajes imperativos obtenemos resultados dndole al computador una secuencia de tareas que luego 1ste ejecutar. 2ientras las ejecuta, puede cambiar de estado.

CODIGO DE PROLOG
"omains persona @ symbol )redicates leAgusta(persona,persona)

4lauses leAgusta(juan,maria). leAgusta(pedro,carla). leAgusta(jorge,maria).