Please enable JavaScript.
Coggle requires JavaScript to display documents.
Programación lógica - Coggle Diagram
Programación lógica
-
Backtracking
Los programas en Prolog se componen de cláusulas de Horn que constituyen reglas del tipo "modus ponendo ponens", es decir, "Si es verdad el antecedente, entonces es verdad el consecuente".
En Prolog no existen instrucciones de control. Su ejecución se basa en dos conceptos: la unificación y el backtracking
-
-
La programación lógica, junto con la funcional, forma parte de lo que se conoce como Programación Declarativa
La Programación Lógica, se trabaja en una forma descriptiva, estableciendo relaciones entre entidades, indicando no como, sino que hacer
-
¿Qué trata de 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
-
-