Tesis doctoral de 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.
Datos académicos de la tesis doctoral «Un sistema de negación para prolog«
- Título de la tesis: Un sistema de negación para prolog
- Autor: Susana Muñoz Hernández
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 30/07/2003
Dirección y tribunal
- Director de la tesis
- Juan Jose Moreno Navarro
- Tribunal
- Presidente del tribunal: julio Mariño carballo
- Alves alferes José júlio (vocal)
- Manuel Hermenegildo salinas (vocal)
- david Pearce (vocal)