Next:
Contents
Contents
Programación lógica y funcional
Álvaro Tasistro - Jorge Vidart
Date:
1988
Contents
Introducción
Paradigmas de programación
Programación en lógica
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
Programación funcional
Un caso de diseño con lenguaje funcional
Funciones, problemas y diseño modular
El caso de estudio
Desarrollo del diseño
Lenguajes funcionales
La estructura de los lenguajes funcionales
La importancia de los lenguajes funcionales
El cálculo Lambda
El lenguaje de programación SCHEME
Anexo: Conceptos básicos
Bibliography
About this document ...
Cesar Ballardini
2003-10-14
