Global analysis of standard prolog programs

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. Existing proposals generally restrict in one way or another the classes of programs which can be analyzed. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially the recent 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 which use the full power of the language.

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.

Onomástica, ecología y territorio. La toponimia de La Rioja como indicador biogeográfico y de la dinámica del paisaje forestal

Se presenta un trabajo de investigación toponímica en La Rioja con enfoque geobotánico. La premisa de partida es que la toponimia relacionada con especies y agrupaciones vegetales, productos forestales y usos del suelo proporciona información valiosa sobre la corología y la dinámica de la vegetación al ser clasificada y analizada con criterios biogeográficos y ecológicos. Se ha elegido la región riojana como zona piloto, al concurrir distintos tipos fisonómicos de vegetación y un conjunto muy diverso de comunidades vegetales representativas del paisaje peninsular. Se añade una larga historia de usos agrícolas en la llanura del Ebro que contrasta con la predominante actividad forestal en las zonas montañosas, en particular la potenciación de los pastos para ganadería trashumante. La Rioja tiene carácter de encrucijada no sólo fitocorológica: es también tierra de fronteras políticas y transiciones lingüísticas. En el léxico y la toponimia conviven variantes puras del castellano, rasgos del romance navarro-aragonés, elementos genuinos de una variante medieval riojana, palabras mozárabes y un numeroso y significativo elenco de topónimos de origen vasco. El trabajo se inicia con unas consideraciones epistemológicas. Se establece un planteamiento de la Toponimia como ciencia interdisciplinar, la etiología de los nombres geográficos, así como su valor apelativo descriptor de los atributos del paisaje. Se enumeran los condicionantes metodológicos de la investigación toponímica y se desarrolla una reflexión sobre las particularidades de la toponimia geobotánica. Se dedica un epígrafe a reseñar estudios precedentes de toponimia botánica y ecológica y el estado actual de conocimientos sobre la toponimia de La Rioja. La delimitación superficial de los parajes designados por los nombres geográficos es clave para un análisis orientado a detectar la correspondencia entre los elementos aludidos por el topónimo y las especies y comunidades vegetales. Las áreas de distribución y presencia, así como las transformaciones del paisaje, quedan definidas en superficies acotadas territorialmente. La metodología seguida se basa en la revisión exhaustiva de fuentes toponímicas ya existentes; destacadamente, los datos procedentes de la cartografía del Castro de Rústica, adscritos a polígonos con dimensión espacial. Las denominaciones de las parcelas catastrales se han complementado con los nombres geográficos del Diccionario de Toponimia Actual de La Rioja (DTALR) (González Blanco, 1987), el nomenclátor NomGeo del IGN, y algunas recopilaciones toponímicas municipales. De la base de datos conjunta se han seleccionado los topónimos con significado geobotánico. Se propone una taxonomía de grupos semánticos basada en categorías de estructura (arbolado, matorral, cubiertas herbáceas y áreas de vegetación escasa o rala) y en la adscripción a tipos de vegetación potencialmente dominantes, ordenados según una escala de higrofilia decreciente). También se reseñan topónimos referentes a usos y aprovechamientos en el medio rural: dehesas, ganadería, productos forestales y algunos cultivos agrícolas. El trabajo reúne en un repertorio sistemático los datos toponímicos, acopiados por comarcas y términos municipales. Se incluye la relación de nombres geográficos encontrados por campos nocionales y se comentan los nombres vernáculos que les han dado origen y su etimología. Quedan señalados los topónimos georreferenciados y asignados a entidades superficiales en la cartografía digital catastral, que se ha superpuesto a mapas forestales a escalas 1:200.000 y 1:50.000, en cuya elaboración participamos. El análisis ha permitido definir “topónimo externo” como el recinto catastral en que la especie o agrupación aludida no tiene presencia en la vegetación actual, al menos como dominante. Los topónimos externos más significativos de cada grupo han sido analizados describiendo la cubierta vegetal actual correspondiente, lo que permite interpretar, junto con las características fisiográficas del paraje, las causas posibles de ausencia del elemento aludido, teniendo en cuenta criterios generales de mesología, de dinámica de la vegetación y de la historia de la acción humana. El trabajo se cierra con un capítulo de conclusiones generales, conceptuales y metodológicas, así como una relación de líneas de profundización de la investigación que quedan apuntadas. Se completa con una relación de fuentes y referencias bibliográficas fundamentales. ABSTRACT This paper presents a study of the toponymy of La Rioja with a specific focus on place names reflecting the region’s geobotany. Its underlying premise is that the toponymy associated with plant species and communities, forest products and land uses can provide valuable information about the chorology and vegetation dynamics when classified and analysed using biogeographical and ecological criteria. La Rioja has been chosen for this pilot study because it concentrates vegetation types of distinct physiognomy and a highly diverse set of plant communities that can be considered representative of the vegetation of the peninsula’s landscapes. This combines with a long history of different agricultural uses on the Ebro plain that contrast with the predominance of forestry activity in the more mountainous areas, in particular the promotion of pasture for livestock transhumance. Indeed, La Rioja is not only a crossroads in terms of its phytochorology, but it is also a land of political boundaries and language transitions. Coexisting in its lexicon and toponymy, we find pure Castilian variants, features from the Romance language of Navarro-Aragonese, genuine elements of the medieval variant of the Riojan dialect, words of Mozarabic and a large and significant list of place names of Basque origin. The paper begins by outlining a number of epistemological considerations and establishes an interdisciplinary approach to toponymy, the aetiology of geographical names, and their value in the descriptive naming of the features of a landscape. It continues by enumerating the methodological determinants of toponymic research and reflects on the specific characteristics of geobotanical toponyms. The next section is dedicated to examining previous studies of botanical and ecological place names and providing a state-of-the-art review of the toponymy of La Rioja. Delimiting the sites designated by the geographical names is essential to any analysis designed to detect the correspondence between the elements alluded to by the toponyms and plant species and communities. These areas of distribution and presence, as well as the landscape changes, are defined in terms of spatially delimited surface areas. The methodology adopted involves an exhaustive review of existing toponymic sources; in particular, data obtained from the maps of the Rustic Cadastre, assigned to spatial polygons. The names of these cadastral parcels are complemented by the geographical names taken from the Diccionario de Toponimia Actual de La Rioja (DTALR) (González Blanco, 1987); the gazetteer – NomGeo, published by Spain’s Instituto Geográfico Nacional; and, various municipal list of toponyms. Place names with a geobotanical meaning were then selected from this joint database. The paper proposes a taxonomy of semantic groups based on structural categories (namely wooded areas, brushland, grassy areas and areas of scanty or sparse vegetation) and assignment to the potentially dominant type of vegetation (ordered on a scale of decreasing hygrophilic trends). Place names referring to land uses and practices in rural areas – including, pasture, livestock, forest products and some agricultural crops – are also described. The study produces a systematic list of toponyms ordered by counties and municipalities. The geographical names are organised by notional fields and the vernacular names that have given rise to them and their etymology are discussed. The toponyms are georeferenced and assigned to surface elements on the digital cadastral map, superimposed on forest maps at scales of 1:200,000 and 1:50,000, in the production of which the authors participated. The analysis has allowed us to define “external toponyms” as those cadastral parcels in which the plant species or group alluded to is no longer present in the vegetation, at least as the dominant type. The most significant external toponyms in each group have been analysed by describing the corresponding, present-day vegetation cover, which allows us to interpret, along with the physiographic features of the site, the possible causes of the absence of the aforementioned element, bearing in mind general criteria of mesology, vegetation dynamics and the history of human action. The paper finishes by offering a number of general conceptual and methodological conclusions, and a list of areas that future research can usefully examine. The study is supplemented with a list of sources and key references.

A SENHORA DA BERLINDA Representações sociais do cotidiano na religiosidade popular paraense

O culto a Nossa Senhora de Nazaré é uma devoção popular muito antiga em Belém do Pará, quase tão antiga quanto a cidade, pois esse culto se consolidou na mesma época em que se constituiu o município de Belém e o Estado do Pará. A população de devotos cresceu junto com a população dos habitantes da cidade. Tal fato propiciou que essa devoção popular se enraizasse profundamente na cultura paraense, penetrando até a auto-imagem do paraense católico, moldando a sua identidade cultural. A maior expressão desse culto é a grande romaria que os devotos realizam todos os anos no mês de outubro, que é conhecida como Círio de Nazaré e reúne uma média de dois milhões de pessoas, aproximadamente. O Círio de 2002 foi o recorte etnológico dessa pesquisa que disserta sobre as práticas cotidianas dos devotos no seu culto a Nossa Senhora de Nazaré, sobre como a religiosidade popular insere-se no dia-a-dia dos indivíduos, influenciando as representações sociais e recebendo a influência delas também, em um processo dialético.(AU)

A SENHORA DA BERLINDA Representações sociais do cotidiano na religiosidade popular paraense

O culto a Nossa Senhora de Nazaré é uma devoção popular muito antiga em Belém do Pará, quase tão antiga quanto a cidade, pois esse culto se consolidou na mesma época em que se constituiu o município de Belém e o Estado do Pará. A população de devotos cresceu junto com a população dos habitantes da cidade. Tal fato propiciou que essa devoção popular se enraizasse profundamente na cultura paraense, penetrando até a auto-imagem do paraense católico, moldando a sua identidade cultural. A maior expressão desse culto é a grande romaria que os devotos realizam todos os anos no mês de outubro, que é conhecida como Círio de Nazaré e reúne uma média de dois milhões de pessoas, aproximadamente. O Círio de 2002 foi o recorte etnológico dessa pesquisa que disserta sobre as práticas cotidianas dos devotos no seu culto a Nossa Senhora de Nazaré, sobre como a religiosidade popular insere-se no dia-a-dia dos indivíduos, influenciando as representações sociais e recebendo a influência delas também, em um processo dialético.(AU)

A RECEPÇÃO DA TEOLOGIA DE DIETRICH BONHOEFFER NA AMÉRICA LATINA

Ao escolher o tema A recepção da teologia de Bonhoeffer na América Latina, a intenção é problematizar a influência exercida pelo teólogo alemão Dietrich Bonhoeffer na teologia latino-americana, tratando-se do aporte de seus textos em solo latinoamericano, mas também de sua leitura, seleção e re-escritura crítica até nossos dias, quando completamos um século de seu nascimento. A investigação propõe-se a visibilizar o que em sua mensagem e/ou biografia, e de que forma, entusiasmou uma geração de jovens teólogos(as) protestantes e católicos latino-americanos(as), a partir de meados do século XX. Tomou-se por lócus fundamental à Escola Superior de Teologia (EST), da IECLB, ao ecumênico Instituto Superior Evangélico de Estudos Teológicos (ISEDET), de Buenos Aires, Argentina, também a um organismo para-eclesiástico, a Igreja e Sociedade na América Latina (ISAL). A base material privilegiada foi a produção teológica registrada em suas coleções de revistas periódicas, respectivamente, Estudos Teológicos, Cuadernos de Teología e Cristianismo y Sociedad. No entanto, também são analisadas algumas obras de teólogos católicos, dentre eles, Gustavo Gutiérrez, Jon Sobrino, Juan Luis Segundo e Frei Betto; textos referenciais que trazem à luz sua influência sobre a teologia caribenha; além de outros materiais que evidenciam os antigos e novos intérpretes. Os conceitos mobilizadores desta pesquisa são: discurso, conforme o expressam Michel Foucault e Eni Orlandi; memória, a partir de Maurice Halbwacks e Jacques Le Goff; dialética, Leandro Konder; fenomenologia, Husserl, Heidegger; marcas, Carlo Ginzburg e imagem/imaginário, Castoriadis.(AU)

A RECEPÇÃO DA TEOLOGIA DE DIETRICH BONHOEFFER NA AMÉRICA LATINA

Ao escolher o tema A recepção da teologia de Bonhoeffer na América Latina, a intenção é problematizar a influência exercida pelo teólogo alemão Dietrich Bonhoeffer na teologia latino-americana, tratando-se do aporte de seus textos em solo latinoamericano, mas também de sua leitura, seleção e re-escritura crítica até nossos dias, quando completamos um século de seu nascimento. A investigação propõe-se a visibilizar o que em sua mensagem e/ou biografia, e de que forma, entusiasmou uma geração de jovens teólogos(as) protestantes e católicos latino-americanos(as), a partir de meados do século XX. Tomou-se por lócus fundamental à Escola Superior de Teologia (EST), da IECLB, ao ecumênico Instituto Superior Evangélico de Estudos Teológicos (ISEDET), de Buenos Aires, Argentina, também a um organismo para-eclesiástico, a Igreja e Sociedade na América Latina (ISAL). A base material privilegiada foi a produção teológica registrada em suas coleções de revistas periódicas, respectivamente, Estudos Teológicos, Cuadernos de Teología e Cristianismo y Sociedad. No entanto, também são analisadas algumas obras de teólogos católicos, dentre eles, Gustavo Gutiérrez, Jon Sobrino, Juan Luis Segundo e Frei Betto; textos referenciais que trazem à luz sua influência sobre a teologia caribenha; além de outros materiais que evidenciam os antigos e novos intérpretes. Os conceitos mobilizadores desta pesquisa são: discurso, conforme o expressam Michel Foucault e Eni Orlandi; memória, a partir de Maurice Halbwacks e Jacques Le Goff; dialética, Leandro Konder; fenomenologia, Husserl, Heidegger; marcas, Carlo Ginzburg e imagem/imaginário, Castoriadis.(AU)

Permanence or change? The meaning of genetic variation

Selected aspects of the evolutionary process and more specifically of the genetic variation are considered, with an emphasis in studies performed by my group. One key aspect of evolution seems to be the concomitant occurrence of dichotomic, contradictory (dialect) processes. Genetic variation is structured, and the dynamics of change at one level is not necessarily paralleled by that in another. The pathogenesis-related protein superfamily can be cited as an example in which permanence (the maintenance of certain key genetic features) coexists with change (modifications that led to different functions in different classes of organisms). Relationships between structure and function are exemplified by studies with hemoglobin Porto Alegre. The genetic structure of tribal populations may differ in important aspects from that of industrialized societies. Evolutionary histories also may differ when considered through the investigation of patrilineal or matrilineal lineages. Global evaluations taking into consideration all of these aspects are needed if we really want to understand the meaning of genetic variation.

Dificultades en la traducción de al-Farāfīr de Yūsuf Idrīs

En este artículo hablamos en primer lugar de la obra teatral al-Farāfīr de Yūsuf Idrīs. Abordamos las dificultades de la traducción del árabe dialectal egipcio al castellano. Nos hemos acercado al término al-Farāfīr desde un punto de vista lingüístico y pragmático. Exponemos la dificultad de la traducción literaria entre dos lenguas pertenecientes a ámbitos socio-culturales muy diferentes.

A potential case of attitude change: The Spanish spoken in the city of Malaga and used on social network sites

The Spanish spoken in the city of Malaga, as Andalusian Spanish in general, was in the past often times considered an incorrect, low prestige variety of Spanish which was strongly associated with the poor, rural, backward South of Spain. This southern Spanish variety is easily recognised because of its innovative phonetic features that diverge from the national standard, even though in the past years in the case of some features a convergence to the standard could be observed. Despite its low prestige the local variety of Spanish is quite often used on social network sites, where it is considered as urban, fashion and cool. Thus, this paper aims at analysing whether the Spanish used in the city of Malaga is undergoing an attitude change. The study draws on naturally occurring speech, data extracted from Facebook and a series of questionnaires about the salience, attitude and perception of the local variety of Spanish. The influence of the social factors age and gender is analysed, since they are both known to play a crucial role in many instances of language change. The first is of special interest, as during the Franco dictatorship dialect use was not accepted in schools and in the media. Results show that, on the one hand, people from Malaga hold a more positive attitude towards non-standard features used on social network sites than in spoken language. On the other hand, young female users employ most non-standard features online and unsurprisingly have an extremely positive attitude towards this use. However, in spoken Spanish the use and attitude of some features is led by men and speakers educated during the Franco dictatorship, while other features, such as elision of intervocalic /d/, elision of final /ɾ/, /l/ and /d/ and ceceo, are predominantly employed by and younger speakers and women. These features are considered as salient in the local variety and work as local identity markers.

Nahuatlismos y barbarismos.

At head of title, author's pseud., Ricardo del Castillo. Estudios lexicogråficos.

Tasik ămyaa Jesu Cristo wischi inginkuk San Marcos.

United Bible Societies language: Lengua: Northern.

A first reading book for students of colloquial Chinese; Chinese merry tales,

"The ninety nine tales ... in this book ... written ... in mandarin dialect belong doubtlessly to the folklore."--Pref.