Un sistema de negación para prolog

• Autores: Susana Muñoz Hernández
• Directores de la Tesis: Juan José Moreno Navarro (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 2003
• Idioma: español
• Tribunal Calificador de la Tesis: Julio Mariño Carballo (presid.), James Lipton (secret.), Manuel de Hermenegildo Salinas (voc.), David Pearce (voc.), José Alves (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.