Please enable JavaScript.
Coggle requires JavaScript to display documents.
PROGRAMACIÓN LÓGICA - Coggle Diagram
PROGRAMACIÓN LÓGICA
-
Definición
La programación lógica gira en torno al concepto de predicado, o relación entre elementos. Se basa en el concepto de función de corte más matemático.
La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa
-
-
Espacios de búsqueda.
Cuando se resuelve un problema, se busca la mejor solución entre un conjunto de posibles soluciones.
-
Predicados mitológicos.
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la meta-programación
-
-
Números, listas y árboles.
Es más fácil entender si la escribimos como un árbol en el que el nombre es un nodo y los componentes son las ramas.
Manipulación de términos
Consiste en construir programas que manipulan otros programas proporcionando una mayor expresividad al lenguaje