Next:
Introducción a la programación
Up:
Programación lógica y funcional
Previous:
Paradigmas de programación
 
Contents
Programación en lógica
Subsections
Introducción a la programación en lógica
Interpretación lógica
Sintaxis de programas en lógica
Semántica de programas en lógica
Inferencia lógica
Unificación
Evaluación de programas en lógica
Interpretación algorítmica
Procedimientos y programación en lógica
Definición de procedimientos
Invocación de procedimientos
Intérprete no determinista
Estrategias de evaluación
Tratamiento de la negación
Problemas
Cesar Ballardini
2003-10-14