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

  1. Sarmiento Escalona, Antonio
Dirixida por:
  1. Mario Rodríguez Artalejo Director

Universidade de defensa: Universidade da Coruña

Ano de defensa: 1993

Tribunal:
  1. Isidro Ramos Salavert Presidente/a
  2. Antonio Blanco Ferro Secretario/a
  3. Fernando Orejas Valdés Vogal
  4. José María Troya Linero Vogal
  5. José María Barja Pérez Vogal

Tipo: Tese

Teseo: 41380 DIALNET lock_openRUC editor

Resumo

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.