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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados