Paradigma Lgico Programacin Lgica

Resuelve problemas descriptos como las relaciones de un conjunto de datos, sobre las que aplica reglas de deduccin y a partir de tales premisas genera conclusiones aceptadas como vlidas. Usa la lgica de predicados, o aserciones lgicas que representan el conocimiento sobre un mbito. El programador especifica hechos y propiedades del problema, no como debe resolverse; es el sistema quin debe buscar la solucin, usando:

Hechos o asertos y reglas para representar la informacin Deducciones para responder consultas, y generar nuevos hechos, a partir de sus componentes lgicos y secuencias de control del sistema, automatizando as la correccin del programa. Verificacin de las transformaciones, evaluadas partiendo de metas. Si se prueba que se ajustan a hechos o se deducen de alguna regla, entonces sus antecedentes se convierten en nuevas metas. La solucin final resulta de aplicar resultados intermedios de las variables de la meta inicial, usando un proceso iterativo, que concluye cuando las sub-metas son probadas.

Robert Kowalski crea el paradigma lgico, basado en las clusulas de Horn, registradas en formato restrictivo, como un subconjunto de la Lgica de Predicados de primer orden. Desde el Imperial College de Londres uso tal formato restrictivo, provisto de una conclusin por clusula, expresando mediante notacin causal, proposiciones condicionales que combinan variables, constantes y expresiones de la forma:
Casado( x, y ) SI esposo( y , x )

esposa( x , y )

Paradigma funcional
El objetivo del paradigma funcional es conseguir lenguajes expresivos y matemticamente elegantes, en los que no sea necesario bajar al nivel de la mquina para describir el proceso llevado a cabo por el programa, y evitando el concepto de estado del cmputo. La secuencia de computaciones llevadas a cabo por el programa se regira nica y exclusivamente por la reescritura de definiciones ms amplias a otras cada vez ms concretas y definidas, usando lo que se denominan definiciones dirigidas. Todo esto con el objetivo de familiarizar a los estudiantes con un lenguaje elegante en el cual se pueda manejar ms fcilmente y as los programas sean menos extensos y complejos. Otro de los objetivos primordiales de dicho paradigma es buscar satisfacer las necesidades del usuario con respecto a operaciones matemticas y convertirse en un lenguaje ms expresivo.

Programacin orientada a objetos

La programacin orientada a objetos o POO (OOP segn sus siglas en ingls) es un paradigma de programacin que usa objetos y sus interacciones, para disear aplicaciones y programas informticos. Est basado en varias tcnicas, incluyendo herencia, abstraccin, polimorfismo y encapsulamiento. Su uso se populariz a principios de la dcada de los aos 1990. En la actualidad, existe variedad de lenguajes de programacin que soportan la orientacin a objetos
Un objeto contiene toda la informacin que permite definirlo e identificarlo frente a otros objetos pertenecientes a otras clases e incluso frente a objetos de una misma clase, al poder tener valores bien diferenciados en sus atributos. A su vez, los objetos disponen de mecanismos de interaccin llamados mtodos, que favorecen la comunicacin entre ellos. Esta comunicacin favorece a su vez el cambio de estado en los propios objetos. Esta caracterstica lleva a tratarlos como unidades indivisibles, en las que no se separa el estado y el comportamiento