Autor: MUÑOZ HERNANDEZ, Susana

Título: Un sistema de negación para PROLOG.

Fecha: 2003

Materia: Sin materia definida

Escuela: FACULTAD DE INFORMATICA

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

Acceso electrónico:

Director/a(s):

• Director/a: MORENO NAVARRO, Juan José

Resumen: El objetivo de la tesis es validar e implementar un sistema de negación para PROLOG que sea 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 que técnica utilizar. Hemos extendido y completado algunas de las propuestas y las hemos implementado asimismo.