programacion logica

UNIDAD 4:
PROGRAMACIÓN LÓGICA

4.1 INTRODUCCIÓN
La programación lógica es el uso de la lógica para el planteamiento de
problemas y el control sobre las reglas de inferencia para alcanzar lasolución automática.
La programación lógica , junto con la funcional , forma parte de lo que se
conoce como programación declarativa, es decir la programación consiste
en indicar como resolver unproblema mediante sentencias , en la
programación lógica , se trabaja en una forma descriptiva , estableciendo
relaciones entre entidades, indicando no como, si no que hacer, entonces
se dice que laidea esencial de la programación lógica es:
Programa = lógica + control
lógica( programador): hechos y reglas para representar conocimientos
Control(interprete): deducción lógica parta darrespuestas(soluciones)

4.2 DE LA LOGICA A LA PROGRAMACION:
La programación lógica es un tipo de paradigmas de
programación dentro del paradigma de programación
declarativa. El resto de los subparadigmasde programación
dentro de la programación declarativa son: programación
funcional, programación con restricciones, programas DSL (de
dominio específico) e híbridos.
La programación funcional sebasa en el concepto de función
(que no es más que una evolución de los predicados), de corte
más matemático. La programación lógica gira en torno al
concepto de predicado, o relación entreelementos.

4.2 DE LA LOGICA A LA PROGRAMACION:
En qué consiste (ejemplo):
La programación lógica permite formalizar hechos del
mundo real:
Las aves vuelan
Los pingüinos no vuelan
"pichurri" es un ave"sandokan" es un perro
"alegría" es un ave
y también reglas o restricciones:
 

4.2 DE LA LOGICA A LA PROGRAMACION:
Una mascota vuela si es un ave y no es un pingüino
Ante dicho "programa"es posible establecer hipótesis que no son más
que preguntas o incógnitas, por ejemplo:
 
¿ "pichurri" vuela ?
¿ qué mascotas vuelan ?....
Gracias a que la lógica de primer orden es computable,...