Parallel execution of Prolog programs: a survey

Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs. Their high-level nature, the presence of nondeterminism, and their referential transparency, among other characteristics, make logic programs interesting candidates for obtaining speedups through parallel execution. At the same time, the fact that the typical applications of logic programming frequently involve irregular computations, make heavy use of dynamic data structures with logical variables, and involve search and speculation, makes the techniques used in the corresponding parallelizing compilers and run-time systems potentially interesting even outside the field. The objective of this article is to provide a comprehensive survey of the issues arising in parallel execution of logic programming languages along with the most relevant approaches explored to date in the field. Focus is mostly given to the challenges emerging from the parallel execution of Prolog programs. The article describes the major techniques used for shared memory implementation of Or-parallelism, And-parallelism, and combinations of the two. We also explore some related issues, such as memory management, compile-time analysis, and execution visualization.

Un proceso para mejorar la competitividad

En los últimos años se ha incrementado la competencia a nivel mundial en los mercados, creando un entorno más turbulento, cambiable y más interrelacionado que tiene consecuencias directas en las operaciones de las compañías y la organización de la producción de las mismas y ha sido clave en el incremento del comercio internacional en productos intermedios o acabados que son diseñados, producidos y ensamblados en diferentes localizaciones a lo largo de diferentes países debido principalmente a los siguientes motivos: • La globalización económica ha posibilitado a las compañías tener más facilidad de acceso a potenciales mercados, a la adquisición de capacidades, conocimientos y tecnología en países extranjeros y a la realización de alianzas estratégicas internacionales con terceros. • El desarrollo de las tecnologías de la información. • La reducción de los costes de transporte. • La liberalización de los mercados de capitales. • La harmonización de factores institucionales, la integración económica, social y política regional tales como la Unión Europea, Mercosur, La Comunidad Andina, Comunidad Sudamericana de Naciones, el incremento de tratados de libre comercio tales como el tratado de libre comercio de America del Norte, Área de libre comercio, Asociación de naciones del sudeste Asiático-China, Espacio económico Europeo etc. que implican la reducción, la eliminación de las barreras y la desregulación del comercio internacional. • El desarrollo económico de los países emergentes (Brasil, China, India y Rusia). • El uso de economías de escala que desencadena la especialización de los países en ciertos productos y servicios

Leveraging Semantics to Improve Reproducibility in Scientific Workflows

Reproducibility of published results is a cornerstone in scientific publishing and progress. Therefore, the scientific community has been encouraging authors and editors to publish their contributions in a verifiable and understandable way. Efforts such as the Reproducibility Initiative [1], or the Reproducibility Projects on Biology [2] and Psychology [3] domains, have been defining standards and patterns to assess whether an experimental result is reproducible.