PARADIGMAS DE LA PROGRAMACIÓN

PARADIGMAS DE LA PROGRAMACIÓN
Temática
1. Características de la Programación Lógica
Es él estudió el uso de la lógica para el utilizarlo en problemas utilizando un control sobre las reglas de inferencia para llegar a la solución.
Esto forma parte de lo que se conoce como Programación Declarativa, es decir la programación consiste en indicar como resolver un problema mediante sentencias, conesta se trabaja de una forma descriptiva, constituyendo relaciones entre entidades, indicando que hacer, la idea esencial de la Programación Lógica es la lógica y el control.
La Lógica utilizada por el programador se basa en hechos y reglas para representar conocimiento y el Control quien interpreta y deduce la lógica para dar respuestas o soluciones.
Como por ejemplo con la programación lógicase intenta resolver, dado un problema S, saber si la afirmación A es solución o no del problema o en que casos lo es. Además queremos que los métodos sean implantados en maquinas de forma que la resolución del problema se haga de forma automática
La programación lógica comprende dos Paradigmas de Programación la Programación Declarativa y la Programación funcional. La programación declarativagira en torno al concepto de predicado, o relación entre elementos.
La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.
· Unificación de términos
· Mecanismos de inferencia automática
· Recursión como estructura de control básica
· Visión lógica de la computación



2. Lenguaje Prolog
Es un lenguaje deprogramación lógico e interpretado, es un paradigma de los lenguajes de programación en el cual los programas se consideran como una serie de aserciones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas declarativos, bastante conocido en el medio de investigación en Inteligencia Artificial. Existen dos tipos de cláusulas: Hechos y Reglas.
3. Hechos yReglas
Hechos
Se relaciona con lo que está ocurriendo en el mundo, característica o relación entre objetos. En un lenguaje más común, un hecho podría ser por ejemplo que Lógica y Compatibilidad son asignaturas de Ingeniería Informática. Expresan relaciones entre objetos. Suponiendo que se quiera expresar el hecho de que "un coche tiene ruedas". Este hecho, consta de dos objetos, "coche" y "ruedas", yde una relación llamada "tiene". La forma de representarlo en PROLOG es: tiene (coche,ruedas).
Los nombres de objetos y relaciones deben comenzar con una letra minúscula.
Primero se escribe la relación, y luego los objetos separados por comas y encerrados entre paréntesis.
Al final de un hecho debe ir un punto (".").
El orden de los objetos dentro de la relación es arbitrario, pero debemosser coherentes a lo largo de la base de hechos.
Reglas
Las reglas son utilizadas para significar que un hecho depende de uno ó más hechos. Son la representación de las implicaciones lógicas del tipo p ---> q (p involucra q). Una regla consiste en una cabeza y un cuerpo, unidos por el signo ":-". La cabeza está formada por un único hecho. El cuerpo puede ser uno ó mas hechos (conjunción dehechos), separados por una coma (","), que actúa como el "y" lógico. Las reglas finalizan con un punto (".").
Con esta regla generalizamos el hecho de que cualquier objeto que sea un coche, tendrá ruedas. Al igual que antes, el hecho de que un objeto tenga ruedas, no es una condición suficiente de que sea un coche. Por lo tanto la representación inversa sería incorrecta.

4. Preguntas (Queries)
Esuna sentencia de código utilizada para generar una consulta sobre una base de datos o la manipulación de esta, por lo que utilizamos los parámetros necesarios para generar esta y nos brinde el resultado que solicitamos.
5. Cláusulas de Horn
En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo. Se...