The ciao system

Abstract is not available.

Lightweight compilation of (C)LP to JavaScript

We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C)LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and its rich language extension mechanism based on packages. We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.

Reversible language extensions and their application in debugging

A range of methodologies and techniques are available to guide the design and implementation of language extensions and domainspecific languages. A simple yet powerful technique is based on source-tosource transformations interleaved across the compilation passes of a base language. Despite being a successful approach, it has the main drawback that the input source code is lost in the process. When considering the whole workflow of program development (warning and error reporting, debugging, or even program analysis), program translations are no more powerful than a glorified macro language. In this paper, we propose an augmented approach to language extensions for Prolog, where symbolic annotations are included in the target program. These annotations allow selectively reversing the translated code. We illustrate the approach by showing that coupling it with minimal extensions to a generic Prolog debugger allows us to provide users with a familiar, source-level view during the debugging of programs which use a variety of language extensions, such as functional notation, DCGs, or CLP{Q,R}.

An automatic documentation generator for (C)LP - Reference manual

Lpdoc is an automatic program documentation generator for (C)LP systems. Lpdoc generates a reference manual automatically from one or more source files for a logic program (including ISO-Prolog, Ciao, many CLP systems, ...). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. However, lpdoc can also be used quite successfully to document full applications and to generate nicely formatted plain ascii "readme" files. A fundamental advantage of using lpdoc to document programs is that it is much easier to maintain a true correspondence between the program and its documentation, and to identify precisely to what version 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 (types, modes, etc. ...) for the predicates in the program, and • machine-readable comments (in the "literate programming" style). The assertions and comments included in the source file need to be written using the Ciao system assertion language. A simple compatibility library is available to make traditional (constraint) logic programming systems ignore these assertions and comments allowing normal treatment of programs documented in this way. The documentation is currently generated in HTML or texinf o format. From the texinf o output, printed and on-line manuals in several formats (dvi, ps, info, etc.) can be easily generated automatically, using publicly available tools, lpdoc can also generate 'man' pages (Unix man page format) as well as brief descriptions in html or emacs info formats suitable for inclusion in an on-line index of applications. In particular, lpdoc can create and maintain fully automatically WWW and info sites containing on-line versions of the documents it produces. The lpdoc manual (and the Ciao system manuals) are generated by lpdoc. Lpdoc is distributed under the GNU general public license. Note: lpdoc is fully supported on Linux, Mac OS X, and other Un*x-like systems. Due to the use of several Un*x-related utilities, some documentation back-ends may require Cygwin under Win32. This documentation corresponds to version 3.0 (2011/7/7, 16:33:15 CEST).

The Ciao clp(FD) library. A modular CLP extension for Prolog

We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; highefficiency, being competitive with other TT> implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the TT> kernel of the library. This TT> kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name the TT> solver. A final level integrates the CLP (J7©) paradigm with our TT> solver. This is achieved using attributed variables and a compiler from the CLP (J7©) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of TT> constraints by writing new indexicals.

Jaungoicuaren Amar Aguindubeetaco azqueneco bosteen icasiquizunac. II. zatija / Bartolome Santa Teresac predicadoriac aterac.

Dialecto : texto en euskera occidental -- vizcaíno, variedad oriental

Dominance Measuring Method Performance under Incomplete Information about Weights.

In multi-attribute utility theory, it is often not easy to elicit precise values for the scaling weights representing the relative importance of criteria. A very widespread approach is to gather incomplete information. A recent approach for dealing with such situations is to use information about each alternative?s intensity of dominance, known as dominance measuring methods. Different dominancemeasuring methods have been proposed, and simulation studies have been carried out to compare these methods with each other and with other approaches but only when ordinal information about weights is available. In this paper, we useMonte Carlo simulation techniques to analyse the performance of and adapt such methods to deal with weight intervals, weights fitting independent normal probability distributions orweights represented by fuzzy numbers.Moreover, dominance measuringmethod performance is also compared with a widely used methodology dealing with incomplete information on weights, the stochastic multicriteria acceptability analysis (SMAA). SMAA is based on exploring the weight space to describe the evaluations that would make each alternative the preferred one.

Duques de Alba de atraque y amarre a la prolongación de la alineación norte de la plataforma adosada al dique oeste

El presente Proyecto tiene como objeto el estudio de las distintas alternativas del proyecto “PROLONGACIÓN DE LA ALINEACIÓN NORTE DE LA PLATAFORMA ADOSADA AL DIQUE DEL OESTE”, en el puerto de Palma de Mallorca. La finalidad de dichas obras es permitir el atraque de grandes buques en el lado norte de la prolongación, considerándose como buque tipo para los cálculos el crucero Oasis of the Seas, de 361 m de eslora, que tiene previsto su entrada en el Puerto de Palma de Mallorca. La solución propuesta define la prolongación de la alineación Norte de la plataforma adosada al dique del Oeste en 160 m, consiguiéndose un total de 445 m, para permitir el atraque y amarre de buques de hasta 360 m de eslora en su lado norte, en condiciones seguras .

Electrooptic characterization of tunable cylindrical liquid crystal lenses

In this work, one-dimensional arrays of cylindrical adaptive liquid crystal lenses were manufactured and characterized; and test devices were filled with nematic liquid crystal. Comb interdigitated electrodes were designed as a mask pattern for the control electrode on the top glass substrates. A radial graded refractive index along each microsized lens was achieved by fabricating a layer of high resistance sheet deposited as a control electrode. These tunable lenses were switched by applying amplitude and frequency optimized waveforms on the control electrode. Phase profiles generated by the radial electric field distribution on each lens were measured by a convectional interferometric technique.

Experimental study on the effective width of flat slab structures under dynamic seismic loading

This paper investigates the effective width of reinforced concrete flat slab structures subjected to seismic loading on the basis of dynamic shaking table tests. The study is focussed on the behavior of corner slab? column connections with structural steel I- or channel-shaped sections (shearheads) as shear punching reinforcement. To this end, a 1/2 scale test model consisting of a flat slab supported on four box-type steel columns was subjected to several seismic simulations of increasing intensity. It is found from the test results that the effective width tends to increase with the intensity of the seismic simulation, and this increase is limited by the degradation of adherence between reinforcing steel and concrete induced by the strain reversals caused by the earthquake. Also, significant differences are found between the effective width obtained from the tests and the values predicted by formula proposed in the literature. These differences are attributed to the stiffening effect provided by the steel profiles that constitute the punching shear reinforcement.

Array de microlentes de cristal líquido con control gradual de índice de refracción

Se ha diseñado y construido un array de microlentes cilíndricas de cristal líquido (CL) y se ha llevado a cabo un estudio sobre su comportamiento electroóptico. El array lenticular es novedoso en cuanto a los materiales empleados en su fabricación. Se ha utilizado Níquel como material clave para la implementación de un electrodo de alta resistividad. La combinación del electrodo de alta resistividad junto al CL (cuya impedancia paralelo es elevada) da lugar a un divisor reactivo que proporciona un gradiente de tensión hiperbólico del centro al extremo de cada lente. Este efecto, unido al alineamiento homogéneo de las moléculas de CL, permite la generación de un gradiente de índice de refracción, comportándose el dispositivo como una lente GRIN (GRadient Refraction INdex). Para la caracterización de su funcionamiento se ha analizado su perfil de fase empleando métodos interferométricos y procesamiento de imágenes. Además se han efectuado también diferentes medidas de contraste angular.

Lenticular arrays based on liquid crystals

Lenticular array products have experienced a growing interest in the last decade due to the very wide range of applications they can cover. Indeed, this kind of lenses can create different effects on a viewing image such as 3D, flips, zoom, etc. In this sense, lenticular based on liquid crystals (LC) technology is being developed with the aim of tuning the lens profiles simply by controlling the birefringence electrically. In this work, a LC lenticular lens array has been proposed to mimic a GRIN lenticular lens array but adding the capability of tuning their lens profiles. Comb control electrodes have been designed as pattern masks for the ITO on the upper substrate. Suitable high resistivity layers have been chosen to be deposited on the control electrode generating an electric field gradient between teeth of the same electrode. Test measurements have allowed us to demonstrate that values of phase retardations and focal lengths, for an optimal driving waveform, are fairly in agreement. In addition, results of focusing power of tuneable lenses were compared to those of conventional lenses. The behaviour of both kinds of lenses has revealed to be mutually similar for focusing collimated light and for refracting images.

Effect of the Synthesis Route on the Microstructure and the Dielectric Behavior of CaCu3Ti4O12 Ceramics

CaCu3Ti4O12 (CCTO) was prepared by a conventional synthesis (CS) and through reaction sintering, in which synthesis and sintering of the material take place in one single step. The microstructure and the dielectric properties of CCTO have been studied by XRD, FE-SEM, EDS, AFM, and impedance spectroscopy to correlate structure, microstructure, and electrical properties. Samples prepared by reactive sintering show very similar dielectric behavior to those prepared by CS. Therefore, it is possible to prepare CCTO by means of a single-step processing method.

Metodología para una estrategia de desarrollo productivo agropecuario y forestal ecosostenible para el trópico seco de Centroamérica: aplicación al municipio de Santo Tomás del Nance

El llamado Trópico Seco de Centroamérica se caracteriza en general y en la Costa Pacífica, en particular, por albergar una elevada densidad de población eminentemente rural y agro dependiente, en este medio se han conjugado el incremento de los procesos de desertificación del territorio junto con la disminución de los rendimientos agropecuarios. Este fenómeno ha venido acelerándose en los últimos años a la par que ha sido agravado por otros factores económicos y políticos, generando creciente vulnerabilidad físico-ambiental y socioeconómica. La tesis pretende demostrar que la falta de un correcto manejo y usos del suelo es factor clave en la creciente pobreza campesina, también consideramos que esta situación es reversible empleando medios, técnicas y compromisos sociales que están a nuestro alcance y, por último, que es técnica y económicamente factible disponer de un modelo o estrategia eco productiva que posibilite el crecimiento económico de la población, manteniendo o incluso mejorando la sostenibilidad de los recursos naturales (causa primera de la pobreza), y en particular el suelo y el agua. A pesar de las inversiones significativas en el agro durante los últimos 25 años, continúan creciendo a un ritmo alarmante los procesos de desertificación y de la pobreza rural relacionada. Entre un sin número de causas se destacan una baja voluntad política y la polarización entre gobiernos y las organizaciones de la sociedad civil. Por último, se destaca el hecho de que para revertir las actuales tendencias, es preciso fomentar la estrecha colaboración como un todo entre gobiernos centrales, gobiernos locales y las organizaciones de la sociedad civil.

Inorganic hydrophobic coatings: Surfaces mimicking the nature

Added value products are being developed in ceramic industry. Different optical effects as bright metallic shine or new functionalities as hydrophobicity or bactericide characteristics are the new properties searched on the tiles. In this study, we prepare glassy coatings for tiles based on copper pigment by a conventional industrial process. The obtained coatings present different aesthetical aspects, including bright metallic aspect which confers a high decorative value to the tile. Furthermore, these metallic coatings present hydrophobic properties with contact angles with water as high as 115 degrees and also bactericide characteristics. Superficial microstructure and nanoparticles were found in the bactericide-hydrophobic samples, resembling the surface of hydrophobic leaf surfaces. This structure was formed by the crystallization of CuO nanoparticles as Tenorite due to the copper saturation of the glassy matrix at the surface of the coatings.