Efficient implementation of general negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, after proposing some extensions to the method, we provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques (in particular those included in the Ciao Prolog system preprocessor) have had a significant role in the success of the technique.

Memoria general del proyecto : ordenación y mejora del arboreto de la Escuela

Los fines del arboreto de la Escuela son,a mi entender, el tener una muestra práctica de la flora española y exótica que pueda resistir el clima de Madrid y al mismo tiempo sirva de ornato de la zona en qoe está enclavado

Encuadre histórico general: cultura, ciencia y tecnología de las aguas subterráneas

El hombre inicialmente se acerca al recurso hídrico para su aprovechamiento, pero no comprende su origen. También se asombra ante las catástrofes generadas por el temporal o por el efecto vivificante del agua sobre los cultivos. Surgen cosmogonías acuáticas y con frecuencia, dioses de las fuentes o de los manantiales, así como de la lluvia; tal es el caso de Kon, entre los incas, o Tlaloc entre los aztecas, y Chac entre los mayas, por poner algún ejemplo

Segunda parte de la Historia general de Sancto Domingo y de su Orden de Predicadores / por el Maestro Fray Hernando de Castillo, de la misma orden.

Port. con escudo xil. real de Felipe II

Segunda parte de la Historia general de Sancto Domingo y de su Orden de Predicadores / por el Maestro Fray Hernando de Castillo, de la misma orden

Port. con escudo xil. real de Felipe II

Primera parte de la Historia general de Santo Domingo y de su Orden de Predicadores / por el Maestro Fray Hernando de Castillo

Port. con esc. xil. real de Felipe II

Primera parte de la Historia general de Santo Domingo y de su Orden de Predicadores / por el Maestro Fray Hernando de Castillo

Port. con esc. xil. real de Felipe II

Acuerdos de Iuntas Generales de Merindades de este M.N. y M.L Señorio de Vizcaya, celebrados en Santa María de Begoña, ... los dias ocho y nueue de nouiembre, y Diputacion general de tres de diciembre de este año de 1799.

Sign.: []2, 1-5O2

Copilacion de todas las leyes y ordenanças del honrrado conceio dela mesta general de Castilla y de Leo[n] : q[ue] antigua me[n]te son fechas con otras sacadas delos libros del co[n]ceio con todas las declaratorias dellas.

Pie de imp. tomado de Norton

Analysis of the "European Charter on General Principles for Protection of the Environment and Sustainable Development" The Council of Europe Document CO-DBP (2003) 2

Analysis of the "European Charter on General Principles for Protection of the Environment and Sustainable Development" The Council of Europe Document CO-DBP (2003) 2

Biblioteca del bascófilo : ensayo de un catálogo general sistemático y crítico de las obras referentes á las provincias de Vizcaya, Guipúzcoa, Álava y Navarra / por Angel Allende Salazar.

Obra premiada por la Biblioteca Nacional en el concurso público de 1877

Historia de la conquista del Reino de Navarra por el Duque de Alba, General del ejército del rey Fernando el Católico, en el año 1512 / escrita por Luis Correa e ; ilustrada con notas y un prólogo y breve compendio de la historia de dicho Reino por José Yanguas y Miranda.

Digitalización Vitoria-Gasteiz Archivos y Bibliotecas Mayo 1994 18-30

Reconocimiento geológico del Señorío de Vizcaya : hecho de órden de su Diputación General / por Carlos Collette.

Digitalización Vitoria-Gasteiz Archivos y Bibliotecas Mayo 1994 18-28

Minerva o El Revisor General.

Mensual.