PROGRAMACION LOGICA
La Programación Lógica estudia el uso de la lógica para el planteamiento de problemas y el control sobre las reglas de inferencia para alcanzar la solución automática.
LaProgramació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 un problema mediante sentencias,en la Programación Lógica, se trabaja en una forma descriptiva, estableciendo relaciones entre entidades, indicando no como, sino que hacer, entonces se dice que la idea esencial de la ProgramaciónLógica es
Programa= lógica + control
Lógica (programador): hechos y reglas para representar conocimiento
Control (interprete): deducción lógica para dar respuestas (soluciones)
Laprogramación lógica intenta resolver lo siguiente:
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 enmaquinas de forma que la resolución del problema se haga de forma automática
La programación lógica: construye base de conocimientos mediante reglas y hechos
Regla: implicación o inferencia lógicaque deduce nuevo conocimiento, la regla permite definir nuevas relaciones apartir de otras ya existentes
Ej.:
Mortal (x): - humano(x)
x es mortal si x es humano
Hecho: declaración, cláusulao proposición cierta o falsa, el hecho establece una relación entre objetos y es la forma más sencilla de sentencia
Ej.:
Humano (Sócrates); Sócrates es humano
Ama (Juan, Maria) ; ama Juan aMaria
Consulta: se especifica el problema, la proposición a demostrar o el objetivo Partiendo de que los humanos son mortales y de que Sócrates es humano, deducimos que
Sócrates es mortal
Mortal(x): - humano(x);- los humanos son mortales ; regla
Humano (Sócrates); Sócrates es humanos ; hecho
Sócrates es mortal ; consulta
La programación lógica comprende dos Paradigmas de Programación la...
Regístrate para leer el documento completo.