Changing the way you learn

Fundamentos de la programación lógica.

Repaso de la lógica de primer orden.
1. Es
2. Argumentos
3. Sintaxis
  1. Caracteres
4. Reglas
  1. Axiomas
  2. Semantica
  3. Teoremas
Unificación y resolución.
1. Es
2. Se compone
3. Determina
Cláusulas de Horn y Resolución SLD.
1. Es
2. Sentencias
3. Representan
Programación lógica con cláusulas de Horn.
1. Formulas
2. Programa
Semántica de los programas lógicos.
1. Es
2. Especifica
3. Ejemplo
Representación clausada del conocimiento.
1. Representa
2. Formas
Consulta de una base de cláusulas
1. Formado
2. Hechos y Reglas
3. Clausula
Programación lógica con números listas y árboles.
1. Basada en
2. Estructura
3. Utilizacion en prolog
Control de búsqueda en programas lógicos
1. Se define
2. procesa
3. Utiliza
Manipulación de términos. (Predicados metalógicos.)
1. Varidacion
2. Manipulacion
3. Clasificacion
Alumna: Emily Arroyo

Fundamentos de la programación lógica.

	Created by corazonsarahi over 10 years ago