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 ...

Hosted by www.Geocities.ws