PROGRAMACIÓN LÓGICA

Es
1. es un paradigma
Esta compuesta por
1. Repaso de programación lógica de primer orden
  Attachments:
  - redes de ordenadores
  1. Tiene
    1. Álgebra Declarativa
  2. Tiene
    1. Inducción Matemática
  3. Tiene
    1. Lógica Proposicional
      1. Divide
        Divide
        Dvide
        Proposiciones Compuestas
        Divide
        Proposiciones del Lenguaje Natura
Describe
1. Unificación y Resolución
  1. Tiene
    1. Unificacion
  2. Tiene
    1. Retroceso
  3. Tiene
    1. Procesador
  4. Tiene
    1. Deducción
  5. Tiene
    1. Resolución
Proporciona
1. Clausulas de horn y resolución SLD
  1. Es
    1. es una secuencia de literales que contiene a lo sumo un literal positivo.
  2. Utiliza
    1. Objetos
  3. Ocupa
    1. Reglas
Tiene
1. Programación Lógica con Clausulas de Horn
  1. Es
    1. Una fórmula como esta también puede reescribirse de forma equivalente como una implicación
  2. Ejemplo

Resource summary

	Created by Susana Garcia over 8 years ago