Efficient negation using abstract interpretation

Muñoz Hernandez, Susana ORCID: https://orcid.org/0000-0001-7910-3958, Moreno Navarro, Juan José ORCID: https://orcid.org/0000-0001-8842-8359 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2001). Efficient negation using abstract interpretation. In: "8th International Conference, LPAR 2001", December 3-7, 2001, Havana, Cuba. ISBN 9783540429579.


Title: Efficient negation using abstract interpretation
Item Type: Presentation at Congress or Conference (Article)
Event Title: 8th International Conference, LPAR 2001
Event Dates: December 3-7, 2001
Event Location: Havana, Cuba
Title of Book: Logic for Programming, Artificial Intelligence, and Reasoning
Date: 2001
ISBN: 9783540429579
Volume: 2250
Freetext Keywords: Negation, Constraint logic programming, Program analysis, Logic programming implementation, Abstract interpretation, Restricciones de la programación lógica, Análisis de programas, implementación de programación lógica, Iterpretación de resúmenes.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_ARC_2001-1.pdf]
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (566kB) | Preview


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 by us) 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, we report on an implementation, using the Ciao Prolog system preprocessor, and 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 are shown to offer important improvements in this application.

More information

Item ID: 14377
DC Identifier: https://oa.upm.es/14377/
OAI Identifier: oai:oa.upm.es:14377
Official URL: http://link.springer.com/chapter/10.1007%2F3-540-4...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Feb 2013 08:06
Last Modified: 27 Feb 2023 12:31
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM