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.

Influencia de la castración y la línea genética paterna sobre el rendimiento productivo y la calidad de la canal y de la carne en cerdos sacrificados a pesos elevados

El objetivo general de esta Tesis Doctoral fue estudiar la influencia del sexo, el método de castración de los machos y la línea genética paterna sobre la productividad y la calidad de la canal y de la carne en cerdos blancos sacrificados a pesos elevados con destino a la industria de los productos curados de calidad. En el experimento 1, se utilizaron 360 cerdos sacrificados a 125 kg de peso vivo (PV) para estudiar la influencia del sexo y la castración [machos inmunocastrados (MI), machos castrados quirúrgicamente (MC) y hembras enteras (HE)] de dos líneas genéticas paternas Large White (Top York y Tempo) sobre los rendimientos productivos y la calidad de la canal y de la carne. La línea materna utilizada fue Large White × Landrace en todos los casos. Los MI se inmunizaron contra el factor de liberación de gonadotropina (GnRF) mediante la utilización de Improvac a los 78 (16 d en prueba) y 126 (64 d en prueba y 48 d antes del sacrificio) d de edad. Cada uno de los 6 tratamientos experimentales fue replicado 6 veces (cuadra con 10 cerdos). Desde el inicio de la prueba hasta el día de la primera inyección con Improvac (62 a 78 d de edad) los MI y las HE crecieron menos (P < 0,001) que los MC sin que se observaran diferencias en el consumo medio diario de pienso (CMD). Los MC tuvieron peor eficiencia alimenticia que las HE con los MI mostrando valores intermedios (P < 0,01). Entre las dos inyecciones de Improvac (78 a 126 d de edad), los MI crecieron y comieron menos que los MC, mostrando las HE valores intermedios (P < 0,001). Los MI fueron más eficientes que las HE y ambos más eficientes que los MC (P < 0,001). Sin embargo, desde la segunda inyección de Improvac hasta el sacrificio (126 a 174 d de edad) los MI crecieron más y fueron más eficientes (P < 0,001) que las HE y los MC. Al final de la prueba, MI y MC crecieron más (P < 0,01) que HE. Asimismo, los MI fueron más eficientes (P < 0,001) pero presentaron menor rendimiento de canal (P < 0,001) que los MC y las HE. Por otro lado, los MI y las HE depositaron menos grasa dorsal que los MC (P < 0,001). Las hembras tuvieron mayor rendimiento de lomo y menos grasa intramuscular que MI y MC (P < 0,01). Asimismo, las HE tuvieron mayor rendimiento de jamón en fresco y perfilado que los MC con los MI mostrando valores intermedios (P < 0,05). Los cerdos híbridos procedentes de machos Tempo crecieron más (P < 0,001) que los procedentes de machos Top York, sin que se encontraran diferencias para el CMD o para la eficiencia alimenticia. Los híbridos de los cruces con Top York tuvieron mejores rendimientos de jamones frescos y perfilados (P < 0,05) pero menor rendimiento de lomo y menos grasa intramuscular que los cruces con Tempo (P < 0,01). En conclusión, los MI presentaron mejor eficiencia alimenticia, pero menor rendimiento de canal que los MC y las HE. El contenido en grasa intramuscular fue similar entre MC y MI y superior para ambos que para las HE. Los cruces procedentes de la línea paterna Tempo crecieron más y tuvieron mayor contenido en grasa intramuscular, pero un rendimiento en jamón perfilado ligeramente inferior al de los cruces procedentes de la línea paterna Top York. Se concluye que la inmunocastración de los machos es una alternativa viable a la castración quirúrgica para la producción de cerdos pesados destinados a la industria de los productos curados. Debido a su mayor potencial de crecimiento y mayor contenido en grasa intramuscular, los híbridos procedentes de la línea paterna Tempo presentan ventajas frente a los híbridos procedentes de la línea paterna Top York cuando se destinan a la industria de productos curados de calidad. En el experimento 2, se utilizaron 240 cerdos para comparar los rendimientos productivos y los parámetros de calidad de la canal de MI, MC y HE destinados a la industria de productos cárnicos curados procedentes del cruce de la línea materna Large White × Landrace con la línea genética paterna Duroc o Pietrain. Entre las 2 inyecciones de Improvac (87 a 137 d de edad), los MI y las HE crecieron menos que los MC (P < 0,01). Asimismo, los MI comieron menos pienso que las HE y ambos menos que los MC (2,33, 2,55 y 2,77 kg/d; respectivamente; P < 0,001). Como resultado, los MI fueron más eficientes que los MC y las HE (P < 0,001). Desde la segunda inyección de Improvac hasta el momento del sacrificio (137 a 164 d de edad), los MI fueron más eficientes que las HE y ambos más que los MC (0,346, 0,323 y 0,300, respectivamente; P < 0,001). Las diferencias observadas en este periodo entre los sexos en cuanto a rendimientos productivos fueron más pronunciadas en los cerdos procedentes de la línea paterna Pietrain que los de la línea Duroc (P < 0,05 para la interacción). En el global de la prueba (87 a 164 d de edad) el sexo no afectó al crecimiento en los cerdos procedentes de la línea paterna Duroc pero en los cerdos procedentes de la línea paterna Pietrain, los MI y los MC crecieron más que las HE (P < 0,05 para la interacción). Asimismo, los MI tuvieron mejor eficiencia alimenticia (0,406, 0,364 y 0,380, P < 0,001) y menor rendimiento de la canal (76,6, 78,1 y 78,8%; P < 0,001) que los MC y las HE. Las canales de las HE fueron más magras que las canales de los MC, con las canales de los MI mostrando valores intermedios (P < 0,01). El rendimiento en jamones y lomos fue mayor para las HE que para los MI y los MC (P < 0,001). El contenido en grasa intramuscular fue menor en las HE que en los MC, con los MI mostrando valores intermedios (3,5 vs. 3,9 y 3,7%; P < 0,05). Por otra parte, los híbridos procedentes de machos Duroc crecieron más rápido (1,167 vs. 0,986 kg/d; P < 0,001), consumieron más pienso (3,07 vs. 2,56 kg/d; P < 0,001) y tuvieron más grasa intramuscular (P < 0,001), pero menor rendimiento en jamones y lomos (P < 0,01) que los híbridos procedentes de machos Pietrain. Se concluye que los MI presentaron mejores productividades pero menores rendimientos de canal que MC y HE. El contenido en grasa intramuscular en el músculo longissimus dorsi fue menor para las HE que para los MC con valores intermedios para los MI. Los cruces procedentes de la genética paterna Duroc crecieron más y tuvieron más grasa intramuscular pero menos rendimiento de jamón que los cerdos procedentes de machos Pietrain. Por tanto, los MI deben ser preferidos a los MC y los cruces con la línea paterna Duroc deben ser preferidos a los cruces con Pietrain para producir canales cuando sus partes nobles están destinadas a la industria de productos cárnicos curados. En base a estos resultados, se concluye que la inmunocastración es una alternativa factible a la castración quirúrgica y que líneas genéticas paternas Tempo y Duroc son mejores para la producción de cerdo blanco pesado que las líneas Top York y Pietrain. Las interacciones entre el sexo y las líneas genéticas paternas estudiadas, sugieren que el resultado final depende en parte de la línea genética paterna utilizada. En cualquier caso, la inmunocastración es una alternativa factible a la castración quirúrgica para la producción de canales destinadas a la industria de los productos cárnicos curados. ABSTRACT The general aim of this PhD Thesis was to study the influence of sex, method of castration, and genetic background of the sire line on growth performance and carcass and meat quality merits of heavy white pigs destined to the dry-cured industry. In experiment 1, 360 pigs slaughtered at 125 kg of body weight were used to study the influence of sex and castration methodology [immunocastrated males (ICM), surgically castrated males (SCM), and intact females (IF)] of 2 terminal Large White sire lines (Top York and Tempo) on growth performance and carcass and meat quality. The female line was Large White × Landrace in all cases. The ICM pigs were immunized against gonadotropin-releasing factor with Improvac at 78 (16 d on trial) and 126 (64 d on trial and 48 d before slaughter) d of age. Each of the 6 treatments was replicated 6 times (10 pigs/pen). From the start of the experiment to the day of the first Improvac injection (62 to 78 d of age), ICM and IF grew slowlier (P < 0.001) than SCM but no differences in feed intake were detected. The SCM pigs had greater gain to feed ratio (G:F) than the IF with the ICM pigs being intermediate (P < 0.01). Between the 2 Improvac injections (78 to 126 d of age), the ICM pigs ate less feed (P < 0.001) and grew slowlier rate than the SCM pigs, with the growth of IF being intermediate. The ICM pigs were more efficient than the IF, and both were more efficient than the SCM pigs (P < 0.001). However, from the second Improvac injection to slaughter (126 to 174 d of age), the ICM pigs grew at a faster rate (P < 0.001) and were more efficient (P < 0.001) than the IF and the SCM pigs. Cumulatively, ICM and SCM pigs grew faster (P < 0.01) than IF and the ICM pigs were more efficient than the other two sexes (P < 0.001). However, the ICM pigs had reduced (P < 0.001) carcass yield compared with SCM and IF. The ICM and IF pigs also had less (P < 0.001) backfat depth than the SCM pigs. Intact females had higher (P < 0.01) loin yield but less intramuscular fat (P < 0.01) than ICM and SCM pigs and higher (P < 0.05) fresh and trimmed ham yields than SCM pigs, with ICM pigs being intermediate. Crossbreds from the Tempo sires grew faster (P < 0.001) than crossbreds from the Top York sires but no differences (P > 0.10) were detected for feed intake or feed efficiency. Crossbreds from the Top York sires had higher (P < 0.05) fresh and trimmed ham yields but less (P < 0.01) loin yield and intramuscular fat content than crossbreds from the Tempo sires. In conclusion, ICM pigs are more efficient, but have less carcass yield than SCM and IF pigs. The intramuscular fat content was lowest for the IF and similar for ICM and SCM pigs. Crossbreds from Tempo sires were heavier and had greater intramuscular fat content, but had less trimmed ham yield as compared with crossbreds from the Top York sires. Immunocastrated pigs can replace SCM pigs for the production of heavy pigs destined for the dry-cured industry. Because of increased carcass weight and the higher intramuscular content, crossbreds from Tempo sires may have an advantage over crossbreds from Top York sires for the dry-cured industry. In experiment 2, a total of 240 pigs were used to compare growth performance and carcass quality traits of immunocastrated males, surgically castrated males, and intact females of crossbreds from Large White × Landrace females and Duroc or Pietrain sires destined to the dry-cured industry. Between the 2 Improvac injections (87 and 137 d of age), ICM and IF pigs had lower average daily gain (ADG) than SCM pigs (P < 0.01). Also, ICM pigs ate less feed than IF and both type of pigs ate less than SCM pigs (2.33, 2.55, and 2.77 kg/d; P < 0.001). Consequently, ICM pigs had better G:F than SCM and IF (P < 0.001). From the second Improvac injection to slaughter (137 to 164 d of age), ICM pigs were more efficient than IF and both were more efficient than SCM pigs (0.346, 0.323, and 0.300 g/g; P < 0.001). The differences in growth performance among genders observed in this period were more pronounced for the Pietrain than for the Duroc crossbreds (P < 0.05 for the interaction). For the entire experimental period (87 to 164 d of age), gender did not affect ADG for Duroc crossbreds but for Pietrain crossbreds ICM and SCM had higher ADG than IF (P < 0.05 for the interaction). The ICM pigs had better feed efficiency (0.406, 0.364, and 0.380; g/g; P < 0.001) and lower carcass yield (76.6, 78.1, and 78.8%; P < 0.001) than SCM or IF. Carcasses from IF were leaner than carcasses from SCM with carcasses from ICM being intermediate (P < 0.01). Ham and loin (P < 0.001) yields were higher for IF than for ICM or SCM pigs. Intramuscular fat content was lower for IF than for SCM pigs with that of ICM pigs being intermediate (3.5 vs. 3.9 and 3.7%; P < 0.05). Cumulatively, crossbreds from Duroc sires had higher ADG (1.167 vs. 0.986 kg/d; P < 0.001) and average daily feed intake (3.07 vs. 2.56 kg/d; P < 0.001) and more intramuscular fat (P < 0.001) but less ham and loin yields (P < 0.01) than crossbreds from Pietrain sires. It is concluded that growth performance was better, but carcass yield lower, for ICM pigs than for SCM and IF. Intramuscular fat content in longissimus dorsi muscle was lower for IF than for SCM pigs with ICM pigs being intermediate. Crossbreds from Duroc sires grew faster and had more intramuscular fat but less ham yield than crossbreds from Pietrain sires. Therefore, ICM pigs should be preferred to SCM pigs, and Duroc crossbreds should be preferred to Pietrain crossbreds to produce carcasses destined to the production of primal cuts for the dry-cured industry. We conclude that immunocastration might be a sound alternative to surgical castration in pigs and that Tempo and Duroc might be better for the production of heavy pigs than Top York and Pietrain. The interactions reported between sex and genetic sire line, suggested that the benefits of immunocastration as an alternative to surgical castration might depend at least part on the sire line used. In any case, immunocastration is a good alternative to surgical castration for the production of carcasses destined to the dry-cured industry.

El autor y el intérprete. Le Corbusier y Amancio Williams en la casa Curutchet

EL AUTOR Y EL INTÉRPRETE. LE CORBUSIER Y AMANCIO WILLIAMS EN LA CASA CURUTCHET Esta Tesis Doctoral estudia las relaciones que se establecen entre el autor y el intérprete de una obra de arquitectura, en particular entre Charles Edouard Jeanneret “Le Corbusier” y Amancio Williams, como proyectista y director de obra respectivamente de la Casa Curutchet en La Plata, Argentina, entre los años 1948 y 1951. La hipótesis de trabajo formula que la actuación de los intérpretes adquiere tanta trascendencia como la de los autores a la hora de otorgar sentido a las obras de arquitectura y que la rigurosa interpretación de Amancio Williams en la Casa Curutchet ha resultado fundamental, no solamente para la realización de esta importante obra sino como testimonio de un preciso método de trabajo como intérprete del Movimiento Moderno. Se analizan los conceptos arquitectónicos desarrollados por el autor, su concepción del espacio en el mundo doméstico de la modernidad, para confrontarlos con la interpretación personal que realiza Amancio Williams, en el contexto de la época, que culmina con su representación en la obra construida. La Casa Curutchet en La Plata (Argentina) es la única vivienda proyectada por Le Corbusier construida en América, uno de sus más bellos y poéticos trabajos, y conjuntamente con el Carpenter Center de Cambridge en EEUU, una de las dos únicas obras proyectadas exclusivamente por el famoso arquitecto suizo que llegaron a materializarse en América. La complejidad del programa, resuelta por Le Corbusier en un periodo muy corto de tiempo con extraordinaria inteligencia y plasticidad, llegará a conformar uno de sus proyectos para vivienda más interesantes. Por sugerencia del propio Le Corbusier, Amancio Williams, uno de los más capaces e importantes exponentes de la arquitectura moderna en Latinoamérica, se hizo cargo de la responsabilidad de materializar la obra. En su estudio de Buenos Aires, realizó una cuidadosa comprensión de la documentación recibida, estudió la estructura y desarrolló modificaciones importantes, proyectó y desarrolló varias versiones de carpinterías y sus detalles, estudió la cocina, el vestíbulo, las instalaciones, iluminaciones naturales y artificiales, diseñó el equipamiento interior y decidió los acabados. Durante casi un año con un grupo de colaboradores, desarrolló una extensa documentación en croquis, esquemas y cuidadosos detalles a escala de construcción, constituida por más de 200 planos de gran formato hasta el momento inéditos, que se encuentran en su Archivo y que esta investigación saca a la luz.