Diferencia entre revisiones de «Programación lógica»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 190.152.128.182 (disc.) a la última edición de ATW-KOD |
||
Línea 1:
La '''programación lógica''' consiste en la aplicación del ''corpus'' de conocimiento sobre [[lógica]] para el diseño de [[lenguajes de programación]]; no debe confundirse con la disciplina de
La programación lógica comprende dos [[paradigma de programación|paradigmas de programación]]: la [[programación declarativa]] y la [[programación funcional]].
La programación declarativa gira 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.
| |||