Una aproximación a la programación lógica con funciones indeterministas

• Autores: Antonio Sarmiento Escalona
• Directores de la Tesis: Mario Rodríguez Artalejo (dir. tes.)
• Lectura: En la Universidade da Coruña ( España ) en 1993
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.) , Antonio Blanco Ferro (secret.) , Fernando Orejas Valdés (voc.) , José María Troya Linero (voc.) , José María Barja Pérez (voc.)
• Enlaces
  • Tesis en acceso abierto en: RUC
• Resumen

  • LA MEMORIA ES UN INTENTO DE INTEGRACION DE PROGRAMACION LOGICA Y FUNCIONAL DERIVADO DEL LENGUAJE DE PROGRAMACION BABEL, UTILIZA DOMINIOS DE SCOTT PARA LA SEMANTICA DECLARATIVA DEL LENGUAJE Y CONSTRUYE EL MODELO DE HERBRAND MINIMO, PARA PROBAR LA COMPLETUD DEL LENGUAJE, UTILIZANDO LA SEMANTICA DEL PUNTO FIJO.

    LA SEMANTICA OPERATIVA DEL LENGUAJE SE DA EN TERMINOS DE ESTRECHAMIENTO EN GRAFOS ACICLICOS, Y PRUEBA QUE ES COHERENTE Y COMPLETA RESPECTO A LA SEMANTICA DECLARATIVA.