Resumen de Un sistema de negación para prolog

Susana Muñoz Hernández

• El objetivo de la tesis es validar e implementar un sistema de negación para Prolog que use a correcto, completo y eficiente.

  La programación lógica carece de la expresividad necesaria para capturar información negativa.

  A pesar de existir varias propuestas operacionales y muchas teóricas al respecto no existe ninguna implementación de negación correcta y completa para Prolog.

  Hemos implementado un sistema que utiliza análisis estáticos del código para decidir mediante una estrategia de selección qué técnica uitlizar.

  Hemos extendido y completado algunas de las propuestas anteriores y las hemos implmentado asimismo.