Resumen de Programación lógica: un enfoque para desarrollar aplicaciones

Fernando Alonso Amo, Marco Villalobos Abarca

• RESUMEN No hay una fórmula general para un buen uso de la programación lógica en el desarrollo de aplicaciones.

  En este artículo se propone un enfoque metodológico para abordar esta tarea.

  El enfoque metodológico, usa una notación formal para representar los conceptos necesarios y consiste en cuatro fases fundamentales: Descripción del dominio de aplicación, Diseño de una estrategia, Traducción a un lenguaje de programación que soporte el paradigma lógico, como lo es Prolog, y finalmente, una Evaluación. Se muestra su aplicabilidad para desarrollar descripciones de programas lógicos que manipulan conocimiento y resuelven problemas en base a ese conocimiento.

  PALABRAS CLAVES: Programación