Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
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.
Title: | Efficient implementation of general negation using abstract interpretation |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | 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) 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.
Item ID: | 14619 |
---|---|
DC Identifier: | https://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 |