Please enable JavaScript.
Coggle requires JavaScript to display documents.
Modelo de Programación Lógica - Coggle Diagram
Modelo de Programación Lógica
Paradigma de programación basado en predicados
Formalización de hechos del mundo real
Programación lógica y funcional (programación declarativa)
Consulta de una base de cláusulas
Preguntas o solicitud de información
Consulta de hechos, variables, reglas, negaciones y relaciones
Semántica de los programas lógicos
Estudio del significado de signos lingüísticos y combinaciones
Semántica lógica
Variables, constantes, predicados, reglas
Investigación de condiciones de verdad
Semántica formal
Aspectos formales de las condiciones de verdad
Alternativas
Semántica operacional
Semántica declarativa
Semántica de puntos lógicos
Representación clausada del conocimiento
Utilizada en inteligencia artificial
Lógica de primer orden
Clausulas afirmativas y negativas
Sistemas expertos (reglas)
Lógica de programación (hechos y reglas)
Redes semánticas (conceptos y relaciones)
Espacios de búsqueda
Utilización de inteligencia artificial y búsqueda heurística
Posibles estados o soluciones a explorar
Búsqueda de grafo
Búsqueda de espacio de hipótesis
Búsqueda de árbol de juego
Búsqueda de laberinto
Programación lógica con números, listas y árboles
Operaciones aritméticas y lógicas con variables y constantes
Estructuras lineales con listas
Representación y manipulación de estructuras de datos jerárquicos
Control de búsqueda en programas lógicos
Exploración del espacio de búsqueda durante la solución
Depth-first search
Breadth-first search
Backtracking search
Búsqueda eulorística
Manipulación de términos
Operaciones y técnicas para modificar, construir o descomponer términos
Construcción y descomposición de términos
Comparación de términos
Extracción de información
Predicados mitológicos
Expresiones lógicas y funciones utilizadas en Prolog
Functor y aridad
Functor: representa estructuras de datos compuestos
Aridad: número de argumentos de un predicado o functor
