Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs

Dentro de los paradigmas de programación en el mundo de la informática tenemos la "Programación Lógica'', cuyo principal exponente es el lenguaje Prolog. Los programas Prolog se componen de un conjunto de predicados, cada uno de ellos definido en base a reglas que aportan un elevado nivel de abstracción y declaratividad al programador. Sin embargo, las formulación con reglas implica, frecuentemente, que un predicado se recompute varias veces para la misma consulta y además, Prolog utiliza un orden fijo para evaluar reglas y objetivos (evaluación SLD) que puede entrar en "bucles infinitos'' cuando ejecuta reglas recursivas declarativamente correctas. Estas limitaciones son atacadas de raiz por la tabulación, que se basa en "recordar'' en una tabla las llamadas realizadas y sus soluciones. Así, en caso de repetir una llamada tendríamos ya disponibles sus soluciones y evitamos la recomputación. También evita "bucles infinitos'' ya que las llamadas que los generan son suspendidas, quedando a la espera de que se computen soluciones para las mismas. La implementación de la tabulación no es sencilla. En particular, necesita de tres operaciones que no pueden ser ejecutadas en tiempo constante simultáneamente. Dichas operaciones son: suspensión de llamadas, relanzamiento de llamadas y {acceso a variables. La primera parte de la tesis compara tres implementaciones de tabulación sobre Ciao, cada una de las cuales penaliza una de estas operaciones. Por tanto, cada solución tiene sus ventajas y sus inconvenientes y se comportan mejor o peor dependiendo del programa ejecutado. La segunda parte de la tesis mejora la funcionalidad de la tabulación para combinarla con restricciones y también para evitar computaciones innecesarias. La programación con restricciones permite la resolución de ecuaciones como medio de programar, mecanismo altamente declarativo. Hemos desarrollado un framework para combinar la tabulación con las restricciones, priorizando objetivos como la flexibilidad, la eficiencia y la generalidad de nuestra solución, obteniendo una sinergia entre ambas técnicas que puede ser aplicada en numerosas aplicaciones. Por otra parte, un aspecto fundamental de la tabulación hace referencia al momento en que se retornan las soluciones de una llamada tabulada. Local evaluation devuelve soluciones cuando todas las soluciones de la llamada tabulada han sido computadas. Por contra, batched evaluation devuelve las soluciones una a una conforme van siendo computadas, por lo que se adapta mejor a problemas donde no nos interesa encontrar todas las soluciones. Sin embargo, su consumo de memoria es exponencialmente peor que el de local evaluation. La tesis presenta swapping evaluation, que devuelve soluciones tan pronto como son computadas pero con un consumo de memoria similar a la de local evaluation. Además, se implementan operadores de poda, once/1, para descartar la búsqueda de soluciones alternativas cuando encontramos la solución deseada. Por último, Prolog adopta con relativa facilidad soluciones para paralelismo gracias a su flexibilidad en el control de la ejecución y a que sus asignaciones son lógicas. La tercera parte de la tesis extiende el paralelismo conjuntivo de Ciao para trabajar con programas no deterministas, lo que presenta dos problemas principales: los objetivos atrapados y la recomputación de objetivos. Las soluciones clásicas para los objetivos atrapados rompían muchos invariantes de la ejecución Prolog, siendo soluciones difíciles de mantener y de extender, que la experiencia nos dice que han caído en desuso. Nosotros proponemos una solución modular (basada en la implementación de swapping evaluation), localizada y que no rompe los invariantes de la ejecución Prolog, pero que mantiene un alto rendimiento de la ejecución paralela. En referencia a la recomputación de objetivos paralelos en presencia de no determinismo hemos adaptado ténicas derivadas de la tabulación para memorizar computaciones de estos objetivos y evitar su recomputación.

Modernidad y contextualidad regional : el caso de Emilio Duhart

Es recurrente lo transmitido en la mayoría de los escritos y por los estudiosos, en el sentido de que el Movimiento Moderno tanto en Latinoamérica como particularmente en Chile, ha sido un movimiento de carácter exógeno, con un alto contenido de desarraigo, sin considerar factores sociales, culturales ni territoriales y que en nuestro país ha sido impuesto como un acto de imitación sin más. Esta tesis pretende dar a conocer a través de la muestra de algunas obras realizadas desde las décadas del cuarenta hasta el sesenta, por un arquitecto reconocido internacionalmente como eximio representante del Movimiento Moderno, cómo esta visión reduccionista queda contradicha en estos trabajos, en los que exhibe notables acercamientos a la problemática social, política, territorial y regional. Con el objeto de precisar mejor el estudio, ha parecido pertinente entregar una visión genérica de nuestro variado territorio, su geografía, las raíces étnicas y su arquitectura; asimismo, se ha considerado importante la comprensión de los procesos históricos, y la forma cómo este movimiento se ha incorporado al territorio y su circunstancia, evoluciones y procesos, frente a los estilos y los acontecimientos políticos, sociales, culturales, guerras y terremotos, comprendidos tanto antes como durante su instauración, consolidación y puesta en marcha o desarrollo, desde las décadas de los veinte al sesenta. Analizaremos algunos ejemplos de obras diseñadas por el arquitecto Emilio Duhart, en diferentes épocas, comenzando por el Proyecto de fin de carrera, y otros tipos de proyectos; urbanos, institucionales, viviendas; que dan cuenta de situaciones y compromisos con la estructura, el territorio, la sociedad, la cultura o la producción local; que permitan comprobar el distanciamiento de este arquitecto con el Movimiento Moderno reduccionista. Además, se mostrarán comparativamente, obras de otros autores, de manera de conformar un cuerpo más sólido, donde se estima han involucrado aspectos similares de territorio, cultura y sociedad.