Towards structured state threading in prolog

It is very often the case that programs require passing, maintaining, and updating some notion of state. Prolog programs often implement such stateful computations by carrying this state in predicate arguments (or, alternatively, in the internal datábase). This often causes code obfuscation, complicates code reuse, introduces dependencies on the data model, and is prone to incorrect propagation of the state information among predicate calis. To partly solve these problems, we introduce contexts as a consistent mechanism for specifying implicit arguments and its threading in clause goals. We propose a notation and an interpretation for contexts, ranging from single goals to complete programs, give an intuitive semantics, and describe a translation into standard Prolog. We also discuss a particular light-weight implementation in Ciao Prolog, and we show the usefulness of our proposals on a series of examples and applications, including code directiy using contexts, DCGs, extended DCGs, logical loops and other custom control structures.

Automatic unrestricted independent and-parallelism in logic programs

We present new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent andparallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator, which makes it possible to generate better parallel expressions by exposing more potential parallelism among the literals of a clause than is possible with &/2. The main differences between the algorithms stem from whether the order of the solutions obtained is preserved or not, and on the use of determinacy information. We briefly describe the environment where the algorithms have been implemented and the runtime platform in which the parallelized programs are executed. We also report on an evaluation of an implementation of our approach. We compare the performance obtained to that of previous annotation algorithms and show that relevant improvements can be obtained.

Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.

We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms, for which we give a complete satisfiability testing algorithm, w.r.t. available type information. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.

Analysis of service-oriented computing systems

La computación basada en servicios (Service-Oriented Computing, SOC) se estableció como un paradigma ampliamente aceptado para el desarollo de sistemas de software flexibles, distribuidos y adaptables, donde las composiciones de los servicios realizan las tareas más complejas o de nivel más alto, frecuentemente tareas inter-organizativas usando los servicios atómicos u otras composiciones de servicios. En tales sistemas, las propriedades de la calidad de servicio (Quality of Service, QoS), como la rapídez de procesamiento, coste, disponibilidad o seguridad, son críticas para la usabilidad de los servicios o sus composiciones en cualquier aplicación concreta. El análisis de estas propriedades se puede realizarse de una forma más precisa y rica en información si se utilizan las técnicas de análisis de programas, como el análisis de complejidad o de compartición de datos, que son capables de analizar simultáneamente tanto las estructuras de control como las de datos, dependencias y operaciones en una composición. El análisis de coste computacional para la composicion de servicios puede ayudar a una monitorización predictiva así como a una adaptación proactiva a través de una inferencia automática de coste computacional, usando los limites altos y bajos como funciones del valor o del tamaño de los mensajes de entrada. Tales funciones de coste se pueden usar para adaptación en la forma de selección de los candidatos entre los servicios que minimizan el coste total de la composición, basado en los datos reales que se pasan al servicio. Las funciones de coste también pueden ser combinadas con los parámetros extraídos empíricamente desde la infraestructura, para producir las funciones de los límites de QoS sobre los datos de entrada, cuales se pueden usar para previsar, en el momento de invocación, las violaciones de los compromisos al nivel de servicios (Service Level Agreements, SLA) potenciales or inminentes. En las composiciones críticas, una previsión continua de QoS bastante eficaz y precisa se puede basar en el modelado con restricciones de QoS desde la estructura de la composition, datos empiricos en tiempo de ejecución y (cuando estén disponibles) los resultados del análisis de complejidad. Este enfoque se puede aplicar a las orquestaciones de servicios con un control centralizado del flujo, así como a las coreografías con participantes multiples, siguiendo unas interacciones complejas que modifican su estado. El análisis del compartición de datos puede servir de apoyo para acciones de adaptación, como la paralelización, fragmentación y selección de los componentes, las cuales son basadas en dependencias funcionales y en el contenido de información en los mensajes, datos internos y las actividades de la composición, cuando se usan construcciones de control complejas, como bucles, bifurcaciones y flujos anidados. Tanto las dependencias funcionales como el contenido de información (descrito a través de algunos atributos definidos por el usuario) se pueden expresar usando una representación basada en la lógica de primer orden (claúsulas de Horn), y los resultados del análisis se pueden interpretar como modelos conceptuales basados en retículos. ABSTRACT Service-Oriented Computing (SOC) is a widely accepted paradigm for development of flexible, distributed and adaptable software systems, in which service compositions perform more complex, higher-level, often cross-organizational tasks using atomic services or other service compositions. In such systems, Quality of Service (QoS) properties, such as the performance, cost, availability or security, are critical for the usability of services and their compositions in concrete applications. Analysis of these properties can become more precise and richer in information, if it employs program analysis techniques, such as the complexity and sharing analyses, which are able to simultaneously take into account both the control and the data structures, dependencies, and operations in a composition. Computation cost analysis for service composition can support predictive monitoring and proactive adaptation by automatically inferring computation cost using the upper and lower bound functions of value or size of input messages. These cost functions can be used for adaptation by selecting service candidates that minimize total cost of the composition, based on the actual data that is passed to them. The cost functions can also be combined with the empirically collected infrastructural parameters to produce QoS bounds functions of input data that can be used to predict potential or imminent Service Level Agreement (SLA) violations at the moment of invocation. In mission-critical applications, an effective and accurate continuous QoS prediction, based on continuations, can be achieved by constraint modeling of composition QoS based on its structure, known data at runtime, and (when available) the results of complexity analysis. This approach can be applied to service orchestrations with centralized flow control, and choreographies with multiple participants with complex stateful interactions. Sharing analysis can support adaptation actions, such as parallelization, fragmentation, and component selection, which are based on functional dependencies and information content of the composition messages, internal data, and activities, in presence of complex control constructs, such as loops, branches, and sub-workflows. Both the functional dependencies and the information content (described using user-defined attributes) can be expressed using a first-order logic (Horn clause) representation, and the analysis results can be interpreted as a lattice-based conceptual models.

Estudio y diseño de un régimen fiscal que optimice la inversión en exploración y producción de hidrocarburos

Los regímenes fiscales que se aplican a los contratos de exploración y desarrollo de petróleo y gas, entre los propietarios del recurso natural (generalmente el país soberano representado por su gobierno) y las compañías operadoras internacionales (COI) que aportan capital, experiencia y tecnología, no han sabido responder a la reciente escalada de los precios del crudo y han dado lugar a que los países productores no estén recibiendo la parte de renta correspondiente al incremento de precios. Esto ha provocado una ola de renegociaciones llegándose incluso a la imposición unilateral de nuevos términos por parte de algunos gobiernos entre los que destacan el caso de Venezuela y Argentina, por ser los más radicales. El objetivo del presente trabajo es el estudio y diseño de un régimen fiscal que, en las actuales condiciones del mercado, consiga que los gobiernos optimicen sus ingresos incentivando la inversión. Para ello se simulan los efectos de siete tipos diferentes de fiscalidades aplicadas a dos yacimientos de características muy distintas y se valoran los resultados. El modelo utilizado para la simulación es el modelo de escenarios, ampliamente utilizado tanto por la comunidad académica como por la industria para comparar el comportamiento de diferentes regímenes fiscales. Para decidir cuál de las fiscalidades estudiadas es la mejor se emplea un método optimización multicriterio. Los criterios que se han aplicado para valorar los resultados recogen la opinión de expertos de la industria sobre qué factores se consideran deseables en un contrato a la hora invertir. El resultado permite delinear las características de un marco fiscal ideal del tipo acuerdo de producción compartida, sin royalties, con un límite alto de recuperación de crudo coste que permita recobrar todos los costes operativos y una parte de los de capital en cualquier escenario de precios, un reparto de los beneficios en función de un indicador de rentabilidad como es la TIR, con un mecanismo de recuperación de costes adicional (uplift) que incentive la inversión y con disposiciones que premien la exploración y más la de alto riesgo como la amortización acelerada de los gastos de capital o una ampliación de la cláusula de ringfence. Un contrato con estas características permitirá al gobierno optimizar los ingresos obtenidos de sus reservas de petróleo y gas maximizando la producción al atraer inversión para la exploración y mejorar la recuperación alargando la vida del yacimiento. Además al reducir el riesgo percibido por el inversor que recupera sus costes, menor será la rentabilidad exigida al capital invertido y por tanto mayor la parte de esos ingresos que irá a parar al gobierno del país productor. ABSTRACT Fiscal systems used in petroleum arrangements between the owners of the resource (usually a sovereign country represented by its government) and the international operating company (IOC) that provides capital, knowhow and technology, have failed to allocate profits from the recent escalation of oil prices and have resulted in producing countries not receiving the right share of that increase. This has caused a wave of renegotiations and even in some cases, like Venezuela and Argentina, government unilaterally imposed new terms. This paper aims to outline desirable features of a petroleum fiscal system, under current market conditions, for governments to maximize their revenues while encouraging investment. Firstly the impact of seven different types of fiscal regimes is studied with a simulation for two separate oil fields using the scenario approach. The scenario approach has been frequently employed by academic and business researchers to compare the performance of diverse fiscal regimes. In order to decide which of the fiscal regimes’ performance is best we used a multi-objective optimization decision making approach to assess the results. The criteria applied gather the preferences of a panel of industry experts about the desirable features of a contract when making investment decisions. The results show the characteristics of an ideal fiscal framework that closely resembles a production sharing contract, with no royalty payment and a high cost recovery limit that allows the IOC to recover all operating expenses and a share of its capital costs under any price scenario, a profit oil sharing mechanism based on a profitability indicator such as the ROR, with an uplift that allows to recover an additional percentage of capital costs and provisions that promote exploration investment, specially high-risk exploration, such as accelerated depreciation for capital costs and a wide definition of the ringfence clause. A contract with these features will allow governments to optimize overall revenues from its petroleum resources maximizing production by promoting investment on exploration and extending oil fields life. Also by reducing the investor’s perception of risk it will reduce the minimum return to capital required by the IOC and therefore it will increase the government share of those revenues.

Religion, Democracy and the Public Sphere

Throughout the development and maturation of the American democratic experience, religiously inspired conduct has contributed significantly to democratically progressive political concerns such as the abolition of slavery and campaigns for civil rights, but also the encouragement and perpetuation pf anti-democratic practices such as the institution of slavery and policies of racial segregation. It may be rarely admitted, but there is no essential conceptual affinity between conduct proper to democratic political association. It may, therefore, be useful in our own political circumstances to try to determine boundaries for conduct that expresses and satisfies compatibly both religious and democratic commitments. Perhaps most Americans do recognize – if not in their own cases, at least in reference to the beliefs and actions of others – that religiously inspired conduct is neither thereby justified morally or legally nor absolved from further critical appraisal. Certainly, the history of American legal practice shows that religious belief or inspiration does not serve as acceptable legal defense for conduct charged as criminal infraction. The U.S. Constitution contains only two references to religion: the non-establishment clause prohibits governmental institutionalization of religious beliefs or liberty rights – is limited in scope and application both by other constitutional rights of individuals and by constitutionally authorized powers of government. As the U.S.S.C. has repeatedly held, individual constitutional features must be understood in a manner that harmonizes all stated and implied constitutional features, not by unbridled abstractions of selected phrases. Under the American legal system, there is no absolute or unlimited right to free exercise of religion: not everything done publicly under religious inspiration is legally permissible; what is otherwise illegal conduct is not legalized by religious inspiration. In important respects, general features of the legal boundaries concerning religiously inspired conduct in public life are reasonably clear; nevertheless, broader issues concerning further moral or ethical constraints upon religiously inspired conduct remain unresolved and rarely addressed explicitly.

O uso de medidas antidumping como mecanismo de barreira à entrada no mercado brasileiro

As medidas antidumping são uma exceção ao livre comércio e como tal deveriam ser usadas com restrição. No entanto, desde o GATT 1947 há preocupação com o uso abusivo de tais medidas, podendo ser o mecanismo utilizado não apenas para possibilitar a recuperação da indústria doméstica prejudicada pelas importações objeto de dumping, objetivo do Acordo Antidumping (AAD), mas com o fim de proteger a indústria nacional da concorrência estrangeira. Desta forma, o objetivo do presente trabalho é apresentar as principais características do AAD firmado ao final da Rodada Uruguai que culminou na constituição da Organização Mundial do Comércio (OMC), incluindo seus antecedentes históricos e a possibilidade de aplicação discricionária, demonstrando como uma norma surgida no plano internacional em decorrência de um acordo multilateral vem sendo utilizada pelo Brasil, com a finalidade de se demonstrar a possibilidade de uso das medidas antidumping como barreira à entrada no mercado brasileiro. Confirmada a possibilidade de uso abusivo desse instrumento de defesa comercial, ainda que no plano teórico, uma vez que não é possível analisar os efeitos reais das medidas aplicadas, serão apresentadas as formas de contrabalanço ao protecionismo atualmente existentes no próprio AAD e sua incorporação e utilização pelo Brasil bem como a possibilidade de questionamento de tais medidas como práticas anticompetitivas com fundamento na legislação antitruste perante as autoridades de defesa da concorrência. Serão ainda analisadas outras possibilidades de contrabalanço ao uso exacerbado das medidas antidumping em debate e viabilidade das mesmas no cenário atual em que se verifica, de um lado, o aumento de uso de tais medidas pelos países Membros da OMC, destacando-se o Brasil e, de outro lado, impasse nas negociações multilaterais, cabendo aos Membros tomarem decisões unilaterais sobre a aplicação de tais medidas, seu grau de intensidade e forma de aplicação a depender da proteção que se pretende garantir à indústria nacional.

A onerosidade excessiva na revisão e extinção dos contratos: a concorrência na aplicação da regra dos arts. 317 e 478 do código civil vigente

A presente dissertação tem como tema central a onerosidade excessiva na revisão e extinção dos contratos no direito civil brasileiro. Ela aborda as hipóteses de rompimento do princípio do equilíbrio econômico contratual na fase de execução dos contratos em virtude da superveniência de fatos extraordinários e imprevisíveis que interrompem sua originária relação de equivalência. O presente estudo divide-se em seis grandes partes. Em primeiro lugar, fazem-se necessárias uma introdução e uma descrição da problemática relacionada ao tema. Em seguida, apresenta-se a origem histórica da revisão e da extinção contratual a partir do exame da cláusula rebus sic stantibus. Feito isso, são relatadas as teorias que as fundamentam pela doutrina e pela jurisprudência antes do advento do texto legal expresso que trata da matéria. Concluída essa fase histórica, analisa-se o direito positivo brasileiro vigente, primeiramente, por questões cronológicas, a revisão por onerosidade excessiva no Código de Defesa do Consumidor. Posteriormente, as disposições legais inseridas no Código Civil que possibilitam a revisão e resolução dos contratos por onerosidade excessiva, com uma análise dogmática dos pressupostos positivos e negativos necessários à aplicação dos arts. 317 e 478 do Código Civil. Em seguida, o estudo procura analisar algumas questões pontuais relacionadas à aplicação dos dois artigos, tais como: (i) quem tem legitimidade e interesse para requerer a revisão e resolução dos contratos, de acordo com os arts. 317 e 478 do Código Civil, respectivamente; (ii) qual é o papel do juiz na revisão e resolução dos contratos, de acordo com os arts. 317 e 478 do Código Civil, respectivamente; e (iii) se há concorrência na aplicação desses artigos ou deve ser observado um procedimento sequencial em atenção ao princípio da preservação dos contratos. Finalmente, o trabalho apresenta breve síntese e conclusões.

Cláusulas restritivas de direitos fundamentais e o ônus argumentativo delas decorrente: o recurso ao sopesamento na dogmática de Alexy

As cláusulas restritivas de direitos fundamentais pertencem à perspectiva da norma, ao contrário das restrições que pertencem à perspectiva do direito. É comum nos depararmos no controle judicial de constitucionalidade das leis com o fenômeno das cláusulas restritivas, sobretudo, em casos versando sobre colisões de direitos fundamentais. Por se tratar de uma característica presente em muitas normas jurídicas, tanto no nível constitucional como no nível infraconstitucional, o recurso ao sopesamento, diante da carência argumentativa de outros métodos para lidar com essa problemática, tem se mostrado uma ferramenta eficaz. O objetivo deste trabalho é descobrir o quão eficaz é essa ferramenta e se a interpretação e aplicação dos direitos fundamentais só têm a ganhar em desenvoltura argumentativa quando ela é adotada em detrimento de outras alternativas. Para isso, é preciso saber como o sopesamento opera na justificação constitucional de normas de direito fundamental, especificamente em situações nas quais uma cláusula restritiva com a estrutura de princípio é inserida na formulação de uma norma com estrutura de regra ou vice-versa. Essa circunstância revela o duplo caráter das normas de direitos fundamentais, um fenômeno normativo pouco explorado, porém muito comum, cuja argumentação jurídica traz consigo uma série de dificuldades de congruência teórica. Explorar tais dificuldades constitui a essência do objeto desta pesquisa, pois compreendê-las é imprescindível à adequada satisfação do ônus argumentativo decorrente das cláusulas restritivas de direitos fundamentais. O argumento que pretendo defender, aqui, é o de que a prática argumentativa baseada isoladamente no raciocínio do sopesamento é incapaz de produzir uma resposta adequada a esse ônus argumentativo. No entanto, quando combinada com o raciocínio da subsunção, ela tem à sua disposição uma racionalidade jurídica que permite uma leitura correta das cláusulas restritivas de direitos fundamentais na formulação de normas de estrutura dúplice.

O garantidor e a novação recuperacional

O objetivo da presente dissertação é analisar os efeitos gerados aos garantidores dos devedores em recuperação judicial, quando aprovado e homologado o Plano de Recuperação Judicial destes, diante do fenômeno da novação previsto no art. 59 da Lei nº 11.101/05. Essa análise será feita a partir de um estudo geral do instituto da novação no direito civil, bem como da disciplina legal das garantias pessoais, principalmente o aval e a fiança. Com base nesta visão cível, serão comparadas as duas posições hoje existentes sobre a matéria no âmbito comercial, tanto na doutrina como na jurisprudência nacionais, com o estudo dos argumentos utilizados por aqueles que defendem a manutenção incólume da obrigação dos terceiros garantidores, independentemente da novação, com a possibilidade dos credores prosseguirem normalmente com sua cobrança, bem como por aqueles que acreditam deva ser extinta a obrigação dos garantidores com a novação. Será apontada uma interpretação alternativa, construída pelo autor, de, em um primeiro momento, ocorrer a extinção da obrigação dos garantidores, enquanto estiver sendo adimplido o Plano de Recuperação pelo devedor principal, e retorno as obrigações originais caso descumprida a proposta aprovada pelos credores. Além dos efeitos decorrentes da lei, será analisada a eficácia da cláusula comumente inserida em Planos de Recuperação, de extinção da obrigação dos garantidores com a concessão da recuperação judicial. Ao final, diante do entendimento apresentado pelo autor sobre os efeitos legais da novação para o garantidor e da eficácia da mencionada cláusula, será proposta uma alteração legislativa, nos moldes do direito argentino, para possibilitar que o terceiro garantidor apresente uma proposta de pagamento conjunta com a devedora principal, encerrando-se a divergência interpretativa hoje existente.

Prisão preventiva: direito à razoável duração e necessidade de prazo legal máximo

O direito à razoável duração do processo, inserido expressamente no ordenamento jurídico brasileiro a partir do advento da Emenda Constitucional 45/2004, já poderia ser inferido desde a incorporação da Convenção Americana de Direitos Humanos, bem como ser considerado um corolário da garantia do devido processo legal. Todo indivíduo tem o direito a um processo sem dilações indevidas, em especial aquele que se encontre submetido a uma prisão preventiva, medida cautelar pessoal de extrema gravosidade. Nesse contexto, exsurge o direito que o indivíduo preso preventivamente tem de que o seu processo seja julgado em um prazo razoável ou de que ele seja desencarcerado, caso preso além da necessidade fática contida no caso concreto. Entretanto, a interpretação da garantia não pode restar somente à livre vontade dos aplicadores do direito, sendo necessária uma regulamentação legal efetiva da duração da prisão preventiva, por meio de prazos concretos nos quais o sujeito deverá ser posto em liberdade, ante a desídia estatal. Incorporando experiências estrangeiras, deve o legislador pátrio adotar marcos temporais legais, em que a prisão preventiva deverá cessar, caso excessivamente prolongada. Muito embora no ano de 2011 tenha sido reformada a tutela das medidas cautelares pessoais no Código de Processo Penal, o legislador ordinário não aprovou a imposição de limites de duração da prisão preventiva, permanecendo ao livre arbítrio das autoridades judiciárias a interpretação da garantia em referência. Assim, o Projeto de Lei do Novo Código de Processo Penal, atualmente em trâmite no Congresso Nacional, ao prever limites máximos de duração da prisão preventiva, dá uma efetiva regulamentação à garantia da duração razoável do imputado preso, devendo ser, espera-se, mantido no eventual texto final aprovado.

Madurez sintáctica: influencia de las TIC en sus índices y estudio comparativo entre las generaciones pre y post-internet

There is a growing concern about the poor quality of the writing of children and teenagers because of the continuous and constant exposure to the new technologies. Increasingly parents complain that their children spend too much time with their phones, tablets, computers, video games, etc. There is also an increase in the number of teachers who complain about their students’ writing skills. Some of the most prominent criticisms are loss of vocabulary, simplified syntax and the poor spelling of the compositions. To verify if these criticisms are motivated or not by the use of information and communication technologies (ICT) is what moved us to initiate this doctoral dissertation entitled “The influence of ICT on ratings of syntactic maturity: a comparative study between pre- and post-internet generations”. We aim to know if a daily and constant exposure to the ICT can affect the syntactic maturity rates of children and teenagers. We also want to find out if there are differences between the levels of syntactic maturity of today’s students and those of the 1990s, when there were no ICT and internet. In order to do this, we have carried out a quantitative analysis taking as a reference previous studies by generativist researchers in the Anglo-Saxon and Hispanic world and we have used the same units of measure (T-unit and clause). We collected a corpus of 382 essays, half argumentative and half descriptive, from 191 individuals. We have analyzed them according to ten dependent variables or syntactic maturity rates and other independent variables (Hours in internet, Course, Sex, Location, Type of school) by applying techniques of descriptive and inferential statistics...

First Draught of substitute, [1799 February]

One folio-sized leaf containing a handwritten draft of the substitute clause providing Cambridge a year to provide evidence that Harvard exceeded £500 in real estate income. The clause was included in the annual tax act, approved on February 28, 1799 (Chapter 75).

Substitute, [1799 February]

Fragment of paper containing a handwritten copy of the substitute clause. The clause was included in the annual tax act, approved on February 28, 1799 (Chapter 75).

No. 6 Rough Draught of Memorial of Col. Officers, [1799 February]

Four folio-sized leaves containing a handwritten draft of a petition to the Massachusetts General Court from the Harvard President and Professors regarding the addition of a clause in a pending tax act denying tax exemptions to the Harvard College officers. The petition specifically responds to the statements in the January 1799 memorial of the Committee of the Town of Cambridge.