Please enable JavaScript.
Coggle requires JavaScript to display documents.
TEMA 4. Modelo de programación lógica. - Coggle Diagram
TEMA 4. Modelo de programación lógica.
4.2 Semántica de los programas lógicos
Basada en la lógica de primer orden
Interpretación y significado de las declaraciones lógicas
4.1 Introducción al modelo de programación lógica
La ejecución del programa es un proceso de inferencia lógica
Los programas son declaraciones lógicas
Paradigma basado en lógica formal
4.9 Predicados mitológicos
Representación de mitos y leyendas utilizando predicados lógicos
Uso de predicados para representar personajes, eventos, relaciones y otras entidades en las historias mitológicas
4.3 Representación clausada del conocimiento
Los hechos son declaraciones verdaderas sin condiciones
Representación del conocimiento como cláusulas lógicas
Las reglas son declaraciones verdaderas bajo ciertas condiciones
4.5 Espacios de búsqueda
Representación como un árbol de búsqueda
Organizar y explorar las posibles soluciones a un problema
4.7 Control de búsqueda en programas lógicos
Uso de diferentes estrategias de búsqueda
Guía de la búsqueda de soluciones en un espacio de búsqueda
4.6 Programación lógica con números, listas y árboles
Operaciones aritméticas y comparaciones entre números
Representación de una colección de elementos con listas
Uso de estructuras de datos en programación lógica
Representación de jerarquías y relaciones con árboles
4.4 Consulta de una base de cláusulas
Obtener información de la base de cláusulas
Hacer preguntas a un sistema de programación lógica
4.8 Manipulación de términos
Modificación y manipulación de términos en las declaraciones lógicas
Unificación de términos, sustitución de variables en un término, comparación de términos