Efficient implementation of general negation using abstract interpretation

Muñoz Hernandez, Susana and Moreno Navarro, Juan José and Hermenegildo, Manuel V. (2000). Efficient implementation of general negation using abstract interpretation. In: "AGP'2000 Joint Conference on Declarative Programming", 4-7 December, 2000, La Habana, Cuba.

Description

Title: Efficient implementation of general negation using abstract interpretation
Author/s:
  • Muñoz Hernandez, Susana
  • Moreno Navarro, Juan José
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: AGP'2000 Joint Conference on Declarative Programming
Event Dates: 4-7 December, 2000
Event Location: La Habana, Cuba
Title of Book: Procredings. of the AGP'2000 Joint Conference on Declarative Programming
Date: December 2000
Subjects:
Freetext Keywords: Negation in Logic Programming, Constraint Logic Programming, Program analysis, Implementations of logic Programming, Abstract interpretation, Negación en programación lógica, Programación lógica restringida, Análisis de programas, Implementaciones de programación lógica, Interpretación de resúmenes.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14619
DC Identifier: http://oa.upm.es/14619/
OAI Identifier: oai:oa.upm.es:14619
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 12 Mar 2013 08:25
Last Modified: 21 Apr 2016 14:22
  • 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