Tesis:
Un sistema de negación para PROLOG.
- Autor: MUÑOZ HERNANDEZ, Susana
- Título: Un sistema de negación para PROLOG.
- Fecha: 2003
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
- Acceso electrónico:
- Director/a 1º: 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.