Efficient local unfolding with ancestor stacks for full prolog

The integration of powerful partial evaluation methods into practical compilers for logic programs is still far from reality. This is related both to 1) efficiency issues and to 2) the complications of dealing with practical programs. Regarding efnciency, the most successful unfolding rules used nowadays are based on structural orders applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding rule based on the notion of covering ancestors which can be used in combination with any structural order and allows a stack-based implementation without losing any opportunities for specialization. Regarding the second issue, we propose assertion-based techniques which allow our approach to deal with real programs that include (Prolog) built-ins and external predicates in a very extensible manner. Finally, we report on our implementation of these techniques in a practical partial evaluator, embedded in a state of the art compiler which uses global analysis extensively (the Ciao compiler and, specifically, its preprocessor CiaoPP). The performance analysis of the resulting system shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations.

ACE: And/or-parallel copying-based execution of logic programs

In this paper we present a novel execution model for parallel implementation of logic programs which is capable of exploiting both independent and-parallelism and or-parallelism in an efficient way. This model extends the stack copying approach, which has been successfully applied in the Muse system to implement or-parallelism, by integrating it with proven techniques used to support independent and-parallelism. We show how all solutions to non-deterministic andparallel goals are found without repetitions. This is done through recomputation as in Prolog (and in various and-parallel systems, like &-Prolog and DDAS), i.e., solutions of and-parallel goals are not shared. We propose a scheme for the efficient management of the address space in a way that is compatible with the apparently incompatible requirements of both and- and or-parallelism. We also show how the full Prolog language, with all its extra-logical features, can be supported in our and-or parallel system so that its sequential semantics is preserved. The resulting system retains the advantages of both purely or-parallel systems as well as purely and-parallel systems. The stack copying scheme together with our proposed memory management scheme can also be used to implement models that combine dependent and-parallelism and or-parallelism, such as Andorra and Prometheus.

A documentation generator for logic programming systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. The documentation can be generated in many formats including t e x i n f o, dvi, ps, pdf, inf o, html/css, Unix nrof f/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ascii "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or inf o formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and inf o sites containing on-line catalogs of documents and software distributions. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. These assertions and comments are written using the Ciao system assertion language. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The lpdoc manual, all other Ciao system manuals, and most of this paper, are generated by lpdoc.

Photonic Logic Based on Molecular Reorientation of Nematic Liquid Crystals

A new type of photonic logic, based on the use of nematic liquid crystals is proposed. The system takes advantage of the refractive-index changes induced by laser beams. Examples of AND, OR and NOR functions are presented.

Coder/decoder with an optical programmable logic cell

A major research area is the representation of knowledge for a given application in a compact manner such that desired information relating to this knowledge is easily recoverable. A complicated procedure may be required to recover the information from the stored representation and convert it back to usable form. Coder/decoder are the devices dedicated to that task. In this paper the capabilities that an Optical Programmable Logic Cell offers as a basic building block for coding and decoding are analyzed. We have previously published an Optically Programmable Logic Cells (OPLC), for applications as a chaotic generator or as basic element for optical computing. In optical computing previous studies these cells have been analyzed as full-adder units, being this element a basic component for the arithmetic logic structure in computing. Another application of this unit is reported in this paper. Coder and decoder are basic elements in computers, for example, in connections between processors and memory addressing. Moreover, another main application is the generation of signals for machine controlling from a certain instruction. In this paper we describe the way to obtain a coder/decoder with the OPLC and which type of applications may be the best suitable for this type of cell.

The TRANSPLANTA collection of Arabidopsis lines: a resource for functional analysis of transcription factors based on their conditional over-expression

Transcription factors (TFs) are key regulators of gene expression in all organisms. In eukaryotes, TFs are often represented by functionally redundant members of large gene families. Overexpression might prove a means to unveil the biological functions of redundant TFs; however, constitutive overexpression of TFs frequently causes severe developmental defects, preventing their functional characterization. Conditional overexpression strategies help to overcome this problem. Here, we report on the TRANSPLANTA collection of Arabidopsis lines, each expressing one of 949 TFs under the control of a β–estradiol-inducible promoter. Thus far, 1636 independent homozygous lines, representing an average of 2.6 lines for every TF, have been produced for the inducible expression of 634 TFs. Along with a GUS-GFP reporter, randomly selected TRANSPLANTA lines were tested and confirmed for conditional transgene expression upon β–estradiol treatment. As a proof of concept for the exploitation of this resource, β–estradiol-induced proliferation of root hairs, dark-induced senescence, anthocyanin accumulation and dwarfism were observed in lines conditionally expressing full-length cDNAs encoding RHD6, WRKY22, MYB123/TT2 and MYB26, respectively, in agreement with previously reported phenotypes conferred by these TFs. Further screening performed with other TRANSPLANTA lines allowed the identification of TFs involved in different plant biological processes, illustrating that the collection is a powerful resource for the functional characterization of TFs. For instance, ANAC058 and a TINY/AP2 TF were identified as modulators of ABA-mediated germination potential, and RAP2.10/DEAR4 was identified as a regulator of cell death in the hypocotyl–root transition zone. Seeds of TRANSPLANTA lines have been deposited at the Nottingham Arabidopsis Stock Centre for further distribution.

La paradoja de Mies : las simetrías invisibles a través del Pabellón de Barcelona

El vínculo de Mies van der Rohe con la simetría es un invariante que se intuye en toda su obra más allá de su pretendida invisibilidad. Partiendo del proyecto moderno como proceso paradójico, que Mies lo expresa en sus conocidos aforismos, como el célebre “menos es más”, la tesis pretende ser una aproximación a este concepto clave de la arquitectura a través de una de sus obras más importantes: el Pabellón Alemán para la Exposición Universal de 1.929 en Barcelona. Ejemplo de planta asimétrica según Bruno Zevi y un “auténtico caballo de Troya cargado de simetrías” como lo definió Robin Evans. El Pabellón representó para la modernidad, la culminación de una década que cambió radicalmente la visión de la arquitectura hasta ese momento, gracias al carácter inclusivo de lo paradójico y las innumerables conexiones que hubo entre distintas disciplinas, tan antagónicas, como el arte y la ciencia. De esta última, se propone una definición ampliada de la simetría como principio de equivalencia entre elementos desde la invariancia. En esta definición se incorpora el sentido recogido por Lederman como “expresión de igualdad”, así como el planteado por Hermann Weyl en su libro Simetría como “invariancia de una configuración bajo un grupo de automorfismos” (libro que Mies tenía en su biblioteca privada). Precisamente para Weyl, el espacio vacío tiene un alto grado de simetría. “Cada punto es igual que los otros, y en ninguno hay diferencias intrínsecas entre las diversas direcciones." A partir de este nuevo significado, la obra de Mies adquiere otro sentido encaminado a la materialización de ese espacio, que él pretendía que “reflejase” el espíritu de la época y cuya génesis se postula en el Teorema de Noether que establece que “por cada simetría continua de las leyes físicas ha de existir una ley de conservación”. Estas simetrías continúas son las simetrías invisibles del espacio vacío que se desvelan “aparentemente” como oposición a las estructuras de orden de las simetrías de la materia, de lo lleno, pero que participan de la misma lógica aporética miesiana, de considerarlo otro material, y que se definen como: (i)limitado, (in)grávido, (in)acabado e (in)material. Finalmente, una paradoja más: El “espacio universal” que buscó Mies, no lo encontró en América sino en este pabellón. Como bien lo han intuido arquitectos contemporáneos como Kazuyo Sejima + Ryue Nishizawa (SANAA) legítimos herederos del maestro alemán. ABSTRACT The relationship between Mies van der Rohe with the symmetry is an invariant which is intuited in his entire work beyond his intentional invisibility. Based on the modern project as a paradoxical process, which Mies expresses in his aphorisms know as the famous “less is more”, the thesis is intended to approach this key concept in architecture through one of his most important works: The German Pavilion for the World Expo in 1929 in Barcelona, an example of asymmetric floor according to Bruno Zevi and a “real Trojan horse loaded with symmetries”. As defined by Robin Evans. For modernity, this Pavilion represented the culmination of a decade which radically changed the vision of architecture so far, thanks to the inclusive character of the paradoxical and the innumerable connections that there were amongst the different disciplines, as antagonistic as Art and Science. Of the latter, an expanded definition of symmetry is proposed as the principle of equivalence between elements from the invariance. Incorporated into this definition is the sense defined by Leterman as “expression of equality,” like the one proposed by Hermann Weyl in his book Symmetry as “configuration invariance under a group of automorphisms” (a book which Mies had in his private library). Precisely for Weyl, the empty space has a high degree of symmetry. “Each point is equal to the other, and in none are there intrinsic differences among the diverse directions.” Based on this new meaning, Mies’ work acquires another meaning approaching the materialization of that space, which he intended to “reflect” the spirit of the time and whose genesis is postulated in the Noether’s theorem which establishes that “for every continuous symmetry of physical laws, there must be a law of conservation.” These continuous symmetries are the invisible empty space symmetries which reveal themselves “apparently” as opposition to the structures of matter symmetries, of those which are full, but which participate in the same Mies aporetic logic, if deemed other material, and which is defined as (un)limited, weight(less), (un)finished and (im)material. Finally, one more paradox: the “universal space” which Mies search for, he did not find it in America, but at this pavilion, just as the contemporary architects like Kazuyo Sejima + Ryue Nishizawa (SANAA) rightfully intuited, as legitimate heirs of the German master.