Diseño, semántica e implementación de Babelun lenguaje que integra la programación funcional y lógica

Résumé

EL INTERES NO PURAMENTE ACADEMICO DE LOS LENGUAJES DE PROGRAMACION DECLARATIVOS (FUNCIONALES Y LOGICOS) SE HA INCREMENTADO ENORMEMENTE DESDE QUE LA TECNOLOGIA VLSI HA DEMOSTRADO LAS POSIBILIDADES REALES DE CONSTRUIR MAQUINAS PARALELAS CAPACES DE EJECUTAR PROGRAMAS DECLARATIVOS EFICIENTEMENTE, TAMBIEN EL CRECIENTE PROGRESO ACTUAL DE LAS TECNICAS DE IMPLEMENTACION EN MAQUINAS CONVENCIONALES TAMBIEN HA AYUDADO A A DESPERTAR EL INTERES POR ESTA CLASE DE LENGUAJES. NI PROLOG NI SON LENGUAJES FUNCIONALES DISFRUTAN DE TODOS LOS BENEFICIOS DE LA PROGRAMACION DECLARATIVA. DURANTE LOS ULTIMOS AÑOS SE HAN REALIZADO UNA SERIE DE INTENTOS PARA DISEÑAR LENGUAJES DE PROGRAMACION DECLARATIVOS QUE INTEGREN LOS PARADIGMAS FUNCIONAL Y LOGICO. LA CONSECUCION DE ESTA INTEGRACION ES ALGO MUY DESEABLE, YA QUE EL LENGUAJE RESULTANTE PODRIA EXPLOTAR AMPLIAMENTE LAS FACILIDADES DE LA LOGICA (FUNCIONES, PREDICADOS E IGUALDAD), PERMITIENDO A SUS USUARIOS USARLAS SEPARADAMENTE O MEZCLARLAS DE LA FORMA MAS APROPIADA PARA UNA APLICACION EN PARTICULAR. EN ESTA TESIS SE PRESENTA Y ESTUDIA EL LENGUAJE DE PROGRAMACION EXPERIMENTAL BABEL, DESIGNADO PARA CONSEGUIR LA INTEGRACION DE LA PROGRAMACION FUNCIONAL (COMO LA USADA EN HOPE, STANDARD ML O MIRANDA) Y LA PROGRAMACION LOGICA (COMO LA USADA EN PROLOG) DE UNA FORMA SIMPLE, FLEXIBLE Y MATEMATICAMENTE BIEN FUNDAMENTADA. EL LENGUAJE SIGUE UNA DISCIPLINA DE CONSTRUCTORES, MUY ADECUADO PARA ACOMODAR TERMINOS PROLOG Y PATRONES TIPO HOPE. DESDE EL PUNTO DE VISTA SINTACTICO, BABEL COMBINA PROLOG PURO CON UNA NOTACION FUNCIONAL SIN TIPOS NI FUNCIONES DE ORDEN SUPERIOR. POR OTRO LADO, EL LENGUAJE USA NARROWING COMO BASE DE UNA SEMANTICA DE REDUCCION PEREZOSA, QUE INCLUYE TANTO REESCRITURA COMO RESOLUCION SLD, SOPORTANDO COMPUTOS CON ESTRUCTURAS DE DATOS POTENCIALMENTE INFINITAS. HAY TAMBIEN UNA SEMANTICA DECLARATIVA, BASADA EN DOMINIOS DE SCOTT, QUE APORTA UNA NOCION DE MINIMO MODELO DE HERBRAND PARA LOS PROGRAMAS BA