Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

La cabaña moderna. Microrrelatos de arquitecturas en busca de sentido

Desde la revolución ilustrada e industrial de finales del s. XVIII se ha venido desarrollando, con fuerza inigualada a lo largo de la historia, algo que es consustancial al hombre y que le ha permitido constituirse como tal frente al resto de animales: la técnica. Como sentencia Ortega, no hay hombre sin técnica. Pero, al mismo tiempo, va quedando cada vez más claro -como también nos señala Ortega- que el sentido y la causa de la técnica están fuera de ella, y que la técnica no es en rigor lo primero, sino que su finalidad le ha de ser prefijada por un deseo original pre-técnico. Si esto no fuera así el hombre perdería su propio sentido, pues el hombre es puro afán, un ente cuyo ser consiste no en lo que ya es, sino en la que aún no es. Sin embargo, el progresivo desencantamiento del mundo como consecuencia del desarrollo de la sociedad industrial vino a sustituir los viejos mitos por una interpretación racional y abstracta que renunciaba a cualquier búsqueda de sentido que trascendiese los hechos brutos. De este modo, la perdida de sentido del hombre frente a la técnica desarrollada por él mismo le dejaba desnortado y convertido en un sujeto pasivo en manos de un malentendido progreso. Frente a esta pérdida de sentido detectada ya a principios del siglo XX y denunciada con más fuerza a partir de la Segunda Guerra Mundial, el postmodernismo del último tramo del pasado siglo pudo no sólo oficializar su desaparición, sino consignar su deslegitimación. Ante a esto, sostenemos la necesaria existencia de sentido en cualquier arquitectura que se desarrolle plenamente y, especialmente, en la arquitectura de la modernidad -y aún de la modernidad tardía o postmodernidad- muchas de las veces no explicitado como tal frente al sobredimensionamiento técnico que ha venido marcando la pauta desde la revolución industrial. Al mismo tiempo, ya no se puede hablar de un único sentido, universalizable, sino de una pluralidad de sentidos que definirán distintas arquitecturas. Partiendo de la petitio principii de que el tema capital de la arquitectura en la modernidad ha sido la vivienda, el objeto arquitectónico que reúne las mejores características para desarrollar esta búsqueda de sentido lo hemos encontrado en la cabaña moderna, donde se cumple el aforismo corbusierano que señala que “quand l’économie est au maximum, l’intensité est au maximum”. Al mismo tiempo “al representar la plenitud a través de su misma negación”, la cabaña moderna se puede entender como una sublimación de la arquitectura a través de pequeños objetos donde han quedado destiladas las distintas esencias de la modernidad. Mediante el análisis de seis pequeñas construcciones situadas en archipiélagos arquitectónicos radicalmente distantes –el campamento de Ocatillo (F. Ll. Wright, 1929); la Caja (R. Erskine, 1942); el Cabanon (Le Corbusier, 1952); la casa cúpula en Carbondale (R. B. Fuller, 1960); el refugio en Oropesa (F. J. Sáenz de Oíza, c.1967-1977) y el pabellón de invitados en Kempsey (G. Murcutt, 1992)- la aparente aporía que supone la cabaña moderna, frente a la más lógica, en principio, cabaña primitiva, cobra sentido. Efectiva mente, el referente mítico de la cabaña primitiva, tal y como fue enunciado por Laugier, se correspondía con el estadio más primitivo de la modernidad, con sus orígenes, precisamente porque la crítica que se hacía en ella de la arquitectura se basaba en criterios exclusivamente técnicos que remitían a los orígenes constructivos de la arquitectura como fórmula para salir del entramado retórico en el que ésta se encontraba perdida. La cabaña moderna trasciende, sin embargo, aquella primitiva fase de la modernidad, de la que la cabaña de Laugier es paradigma, en la medida en que la crítica que se realiza ahora es doble, pues a la crítica de carácter técnico que encontramos en cada una de las cabañas se le añade una crítica de sentido que no se encuentra supeditada, en ninguno de los casos, a la componente técnica, tal y como sin embargo sucedía con Laugier, donde la pretendida regeneración moral de la arquitectura era consecuencia directa de su depuración técnica. En la cabaña moderna, al contrario, encontramos una pluralidad de sentidos que orientan y fuerzan el desarrollo de la techné en direcciones que llegan a ser radicalmente diferentes, construyendo unos relatos que habrán de ser, por tanto, necesariamente parciales, pero de los que la arquitectura, en cualquier caso no podrá prescindir si es que quiere seguir siendo fiel a sí misma, tal y como, efectivamente, lo comprendieron Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza y Murcutt, cuando se esforzaron por que estas pequeñas arquitecturas que hemos visitado, tan sólo unas cabañas, fueran unas cabañas con sentido, unas cabañas modernas. ABSTRACT Since the illustrated and industrial revolution of the XVIII century it has been developing, with unequally strength through history, something that is inherent to man and that has allowed him to become himself against the rest of animals: technique. As Ortega says, there is no man without technique. But, at the same time, it is becoming increasingly clear –as Ortega also says- that the sense and the cause of the technique are beyond technique itself, and that technique is not actually the first thing, but that its purpose must be predefined by a pre-technique original desire. If it were not like this, man would lose his own sense, because man is pure desire, an entity whose being is not what already is, but what still doesn’t is. However, the progressive disenchantment of the world as the result of the development of the industrial society came to change the old myths by a rational and abstract interpretation that renounced to any search of meaning that transcended the brute facts. Thereby, the loss of sense of man against the technique developed by man himself let him aimless and converted in a passive object in the hands of a misunderstood progress. Against this loss of sense already detected at the beginning of the XX century and denounced in a stronger way since the Second World War, the postmodernism of the late decades of the last century could not only formalize its disappearance, but also consign its delegitimization. On the contrary, we maintain the necessary existence of sense in any architecture that is fully developed and, specially, in the modern architecture –and even in the late Modernism or Postmodernism- many times not made explicit as such against the technique oversizing that has been setting the pattern since the industrial revolution. At the same time, we can not talk about an only and universal sense, but about a plurality of senses that will define different architectures. On the basis of the petitio principii that dwelling has been the capital issue of modern architecture, the architectonic object that possesses the best features for developing this search of sense has been found in the modern hut, where is fulfil the Corbusieran aphorism that says that “quand l’économie est au maximum, l’intensité est au maximum”. At the same time, “representing plenitude through its own negation” the modern hut can be understood as a sublimation of architecture through small objects where the different essences of modernity have been distilled. Through the analysis of six small buildings located in radically distant architectonic archipelagos –the Ocatillo dessert camp (F. Ll. Wright, 1929); the Box (R. Erskine, 1942); the Cabanon (Le Corbusier, 1952); the dome-home in Carbondale (R. B. Fuller, 1960); the retreat in Oropesa (F. J. Sáenz de Oíza, c. 1967-1977) and the guest house in Kimpsey (G. Murcutt, 1992)- the apparent aporia that represents the modern hut, against the, initially, more logical primitive hut, makes sense. Indeed, the mythical reference of the primitive hut, as it was enunciated by Laugier, belonged to the most primitive state of modernity, with its origins, precisely because the criticism of the architecture that was made there was based in exclusively technique criteria, referring to the constructive origins of architecture as the formula to get out of the rhetoric labyrinth in which architecture was lost at the moment. However, the modern hut transcends that primitive phase of modernity, of which Laugier’s hut is paradigm, since the criticism that is made is double, because to the criticism on the technique that we find in every hut we must add a criticism on the sense that is never subordinated to the technique component, as it was the case in Laugier, where the intended architectonic moral regeneration was a direct consequence of its technical depuration. In the modern hut, on the contrary, we find a plurality of senses that guides and drives the development of techné in radically different directions, building narratives that must be, then, necessarilly partial, but of which architecture could never leave aside if it still wants to be faithful to itself, as Wright, Erskine, Le Corbusier, Fuller, Sáenz de Oíza and Murcutt seemed to understand when they tried hardly to make these small architectures that we have visited, these huts, huts full of sense, modern huts.

Embedding logical frameworks in scala

El Framework Lógico de Edimburgo ha demostrado ser una poderosa herramienta en el estudio formal de sistemas deductivos, como por ejemplo lenguajes de programación. Sin embargo su principal implementación, el sistema Twelf, carece de expresividad, obligando al programador a escribir código repetitivo. Este proyecto presenta una manera alternativa de utilizar Twelf: a través de un EDSL (Lenguaje Embebido de Dominio Específico) en Scala que permite representar firmas del Framework Lógico, y apoyándonos en Twelf como backend para la verificación, abrimos la puerta a diversas posibilidades en términos de metaprogramación. El código fuente, así como instrucciones para instalar y configurar, está accesible en https://github.com/akathorn/elfcala. ---ABSTRACT---The Edinburgh Logical Framework has proven to be to be a powerful tool in the formal study of deductive systems, such as programming languages. However, its main implementation, the Twelf system, lacks expressiveness, requiring the programmer to write repetitive code. This project presents an alternative way of using Twelf: by providing a Scala EDSL (Embedded Domain Specific Language) that can encode Logical Framework signatures and relying on Twelf as a backend for the verification, we open the door to different possibilities in terms of metaprogramming. The source code, along with instructions to install and configure, is accessible at https://github.com/akathorn/elfcala

Sola romani: morteros hidráulicos romanos en la Península Ibérica

En esta investigación se han analizado morteros de cal de cronología romana en el interior de la Península Ibérica. Para ello, se seleccionó una serie de muestras procedentes de diversos yacimientos, y de estructuras de carácter industrial. Estas muestras presentan aditivos cerámicos y conglomerantes de cal, como característica principal. Desde un principio el esfuerzo debía de centrarse en los fragmentos cerámicos presentes en los morteros. Para ello se documentaron varios morteros con aditivos cerámicos, a fin de conocer sus características básicas (componentes, distribución, micro-estratigrafía, granulometría, etc.). Por ello, y una vez tomadas las muestras, ésta fueron tratadas y procesadas para desarrollar una primera fase de estudio por medio de macroscopía. Se obtuvieron buenos resultados en cuanto a la caracterización visual de los morteros, localizando y documentando los fragmentos cerámicos. Durante la observación de dichos aditivos se observó que los fragmentos cerámicos tenían unas coronas o anillos de coloración que recorrían el borde, justo al contacto con la matriz de cal. Fueron seleccionados algunos fragmentos en los que eran más visibles dichos anillos. A fin de conocer la posible relación entre algunos yacimientos cercanos y la presencia de dicho anillo cromáticos se desarrolló una microscopía óptica polarizada, realizando láminas delgadas de las muestras y sobre los fragmentos cerámicos más determinantes, en concreto de una serie de enclaves del valle del Henares. Además de caracterizar microscópicamente los morteros, se observó que los anillos no eran un defecto visual ni una alteración física, producida tal vez por la extracción, la fase del corte o por la cocción de la cerámica. Tras analizar varios ejemplares se pudo apreciar que esos anillos eran habituales en todas las muestras y que se presentaban de diferente manera, es decir, que se observaban en granos cerámicos de diferentes características físicas (cochura, tamaño, situación con respecto del conglomerante, etc.). A fin de conocer los aspectos químicos de dicha alteración se seleccionó un grupo de muestras en las que los resultados macroscópicos habían sido muy claros, y en las que la microscopía óptica polarizada había determinado en los bordes, áreas adecuadas para otros análisis. Se realizó un mapeado o mapping de elementos químicos, a fin de saber qué podía estar sucediendo en esa interfaz entre el fragmento cerámico y la matriz de cal. Gracias a los resultados obtenidos se comprobó que existía una acumulación potencial de calcio tanto en el interior de los granos cerámicos como en el exterior, justo en la zona de contacto con el conglomerante, formando manchas que recorrían longitudinalmente el borde. Estos datos fueron muy útiles para llevar a cabo la siguiente fase de estudio, que permitiría conocer puntualmente qué estaba sucediendo químicamente en esa zona de contacto. Finalmente y con el objetivo de describir química y puntualmente este efecto en las adiciones cerámicas, se volvió a seleccionar una serie de muestras, escogidas esta vez en función de los granos cerámicos que cumpliesen unas variables estadísticas. Se eligieron granos con distintos tipos de cocciones, así como granos con tamaños diversos y granos con aditivo ceniciento en la matriz de cal, pensando que podrían ser las variables más útiles de interpretar de existir algún tipo de cambio químico entre la arcilla cocida y la matriz de cal. Tales variables se adaptaron a un sistema estadístico multi-varial y geométrico, con el objetivo de sintetizar los resultados y visualizar de forma óptima los datos en conjunto, como se ha comentado en varias ocasiones en este trabajo. Una vez seleccionados los granos por variables se procedió a realizar un análisis lineal y espectral semi-cuantitativo de SEM-EDX, con el que se caracterizaba químicamente una sección lineal del grano, desde la matriz de arcilla cocida de la cerámica hasta la matriz de cal –del interior al exterior del grano- pasando por el centro de la banda de reacción. Este análisis permitió determinar que se había producido una serie de cambios químicos porcentuales en los granos de cerámica. Dichos cambios se resumen en un incremento global de los porcentajes de calcio en el interior de las bandas de reacción de la cerámica, desde el borde mismo del anillo hasta el exterior. Así también se observaron picos porcentuales en el interfaz del fragmento cerámico con la matriz de cal, lo que confirmaba los resultados obtenidos por medio del mapping. Globalmente en todas las muestras se apreció un hombro en las gráficas de calcio a su paso por la zona de afección del anillo de reacción. Los restantes porcentajes de magnesio, silicio y aluminio se mantienen normales. En esta tesis se ha confirmado que dicho incremento global de calcio se acentúa en las muestras en donde no hay cenizas en la matriz de cal. Los casos correspondientes a estos granos sufren un incremento mayor que en el resto. La segunda variable que sufre un mayor incremento de calcio es la que corresponde a granos con buena cocción de la arcilla. Por lo tanto, parece que la tercera variable, la que corresponde con el tamaño del fragmento cerámico, no es decisiva. Por lo tanto, teniendo en cuenta la prueba visual de los anillos de reacción, y atendiendo a los resultados químicos, podríamos pensar que ese incremento de calcio en la banda de reacción de los fragmentos cerámicos se debió a una absorción de calcio en el interior de la arcilla cocida en la fase inmediatamente previa al fraguado, incluso durante el apagado de la cal. Es en este punto donde estaría la clave del cambio químico que se produce en esta interfaz, el calcio sílice-aluminato del que algunos autores ya han investigado. Esta absorción de calcio en el interior del grano no vendría sola, sino que generaría una costra de cal en el interfaz exterior de la cerámica, la cual ha sido observada químicamente por mapping y mineralógicamente por medio de microscopía óptica de polarización. La consecuencia de estos resultados es, primero, la mejora de nuestro conocimiento general acerca del factor hidráulico en los morteros. Asimismo se aprecia que la incorporación de materiales orgánicos como cenizas, puede alterar los porcentajes de calcio en el interior de los aditivos cerámicos, por lo que habría que sopesar, en trabajos futuros, si este tipo de material es adecuado o no en las mezclas destinadas a la restauración, así como seguir indagando en las propiedades de los morteros con la incorporación de aditivos orgánicos. Desde el punto de vista de la catalogación de los suelos industriales hidráulicos de época romana, además de mejorar la documentación incorporando micro-estratigrafías y granulometrías, la investigación de este material histórico constructivo mejora en cuanto a que se incorporan ensayos sencillos, que facilitan incluso la peritación de un estado de conservación por medio de una lupa binocular. Arqueológicamente hablando, es muy interesante correlacionar fábricas diferentes de estructuras situadas o bien en un mismo yacimiento, o bien en una misma área regional. Los estudios de caracterización y micro-estratigrafía no sólo aportan datos nuevos de cara a la restauración de morteros, sino que crean la posibilidad de generar patrones constructivos que sirvan de fósiles-guía para datar relativamente a unas estructuras o a otras. En lo referido a los resultados obtenidos en los diferentes complejos arqueológicos se ha observado una diferencia entre los morteros destinados a piletas y cubetas con respecto a los suelos industriales de uso indeterminado. La muestra correspondiente al yacimiento de Las Arenas no dispone de ninguna micro-estratigrafía, como sí por el contrario en las muestras obtenidas en Rotonda de Mejorada, Val de la Viña y La Magdalena. En estos enclaves las estructuras presentan grandes similitudes, con diferentes niveles constructivos empleando morteros de cal con áridos y gravas en las capas interiores, y áridos con adiciones cerámicas en las exteriores. En lo relativo a la granulometría las adiciones cerámicas de las muestras de Val de la Viña y La Magdalena presentan varias coincidencias en cuanto al tamaño de los granos y la distribución. Asimismo, de las muestras tomadas en La Magdalena, existe una gran diferencia entre las muestras MG1, MG2, MG3 y MG4 con respecto a las muestras MG5 y MG6, correspondientes éstas últimas a un mortero con fragmentos cerámicos de gran tamaño. Las estructuras EMG1 y EMG2, correspondientes a una cubeta y una pileta de La Magdalena, guardan similitud en lo referido a la micro-estratigrafía y a la granulometría. Se ha determinado que su función, así como su fabricación, debieron estar vinculadas a un mismo contexto cronocultural. Química y mineralógicamente, las muestras presentan características iguales, con presencia de un conglomerante de cal con áridos y aditivos cerámicos de diferentes cochuras. Destaca la muestra de Las Arenas, con un tamaño de los fragmentos cerámicos muy superior al resto, seguido de la estructura EMG3 de La Magdalena. Las muestras restantes de éste enclave, junto con las muestras recogidas en Val de la Viña y Rotonda de Mejorada presentan condiciones similares. En conclusión, los datos revelan que existían diferentes fábricas destinadas a distintas finalidades, y que las estructuras industriales empleaban aditivos cerámicos para la manipulación de productos con líquidos, de distintas densidades pero que requerían de cierto grado de hidraulicidad. ABSTRACT Lime Roman mortars from the Iberian Peninsula has been analyzed in this reesearch. A group of samples were selected from some sites and all the samples come from industrial structures. All this samples show ceramic additives. From the start, the effort was centered in the pieces of pottery that were found in the mortars. The samples were treated and processed to develop a first phase of the research using macroscopy. With this technique, great results were achieved in the characterization of mortars, the microstratigraphy and the location of the ceramic pieces. While observing these pieces, it was seen that the fragments of pottery had a ring bordering the piece. The pieces with the bigger and more vivid rings were chosen and they were analyzed by a polarized light microscope. The mortars were characterized microscopically and it also showed that the rings were not a physical alteration or a visual defect. After some more tests, the rings were a chemical change associated with the hydraulicity of the mortar. The best samples were selected and mappings of their chemical elements were performed in order to know what could be happening in the interface between the ceramic matrix fragment and lime. With the results obtained it was found that there was a potential; both calcium accumulation within the ceramic grains and outside, just in the area of contact with the binder, forming spots longitudinally along the edge. These data were very useful for carrying out the next phase of study, which would meet promptly what was happening chemically in the area of contact. Another group of samples were taken, and this time focused on ceramic grains that met a statistical variables. Grains were chosen with two types of cooking as well as grains with different sizes and grains with ash additive in the matrix of lime, thinking that might be the most logical to be some sort of chemical change between the baked clay and lime array variables . Such variables were adapted to a multi-varial and geometric statistical system in order to synthesize the results and optimally display the data together, as mentioned several times in this work. After selecting the variables grains proceeded to perform a linear and spectral analysis SEM-EDX. This analysis led to determine that the chemical changes were graduals. These changes are summarized in an increase in the percentages of calcium inside the reaction rim of ceramics, from the edge to the outer ring. So percentage increasing is also observed at the interface of the ceramic matrix fragment with lime, confirming the results obtained by the mapping. Overall in all samples can be seen a shoulder in graphic calcium through the area of the ring reaction condition. The remaining percentages of magnesium, silicon and aluminum are usual. We have promptly confirmed that the increase of calcium is accentuated in samples where there is no ash and lime matrix. Cases for these grains suffer a greater increase than the rest. The second variable suffering more calcium is increased corresponding to good cooking grains with clay. Therefore, it appears that the variable size of the fragment is not critical. Therefore, considering the visual tests to the rings and their response to chemical results, we might think that increasing calcium inside the ceramic fragments was due to an injection of calcium inside clay in the run-up to the setting phase. It is at this point that would be the key to the chemical change that occurs at this interface, silica-calcium aluminate some authors have already investigated. This injection of calcium into the grain does not come alone, but generate a lime crust on the outside interface of ceramics, which we tested for mapping is real in our samples. The consequence of these results is the improvement of our understanding of historical hydraulic factor in building materials, such as mortar. For example, knowing that the incorporation of organic materials such as ash powder, may be detrimental to the injection of calcium inside the ceramic additives. Archaeologically speaking, it's very interesting to correlate different factories or structures located on a single site, or in the same regional area. Characterization studies and microstratigraphy not only provide new information to help restore mortars, but create the possibility of generating constructive patterns that serve as guide fossils to determinate the age of the structures. With regard to the results obtained in different archaeological sites it has seen a difference between mortars of pools or sinks with respect to industrial floors of undetermined use. The sample of the site of Las Arenas does not have any micro-stratigraphy, as if instead in the samples obtained in Rotonda de Mejorada, Val de la Viña and La Magdalena sites. In these settlements the structures are really similar, with different construction levels using lime mortars with aggregates and gravel in the inner layers, and ceramic aggregates as external additions. With regard to the grain size of the ceramic additions Val de la Viña and La Magdalena samples has several coincidences about the size of grains and distribution. Also, samples taken at La Magdalena, there is a difference between the MG1, MG2, MG3 and MG4 samples and the MG5 and MG6 samples, so the last corresponding to a mortar samples with larger ceramic fragments. The EMG1 and EMG2 structures, corresponding to a bucket and a pool of La Magdalena settlement, have similarities with regard to micro-stratigraphy and grain size. It has been determined that the function and manufacturing must be linked with a same chronocultural context.