Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
López García, Pedro and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2009). Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.. Monografía (Working Paper). Facultad de Informática (UPM), Madrid, Spain.
Title: | Inferring determinacy and mutual exclusion in logic programs using mode and type analysis. |
---|---|
Author/s: |
|
Item Type: | Monograph (Working Paper) |
Date: | February 2009 |
Subjects: | |
Freetext Keywords: | Determinacy inference and checking, Types, Determinación, conclusión, y verificación, Tipos. |
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 |
We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms, for which we give a complete satisfiability testing algorithm, w.r.t. available type information. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.
Item ID: | 15008 |
---|---|
DC Identifier: | https://oa.upm.es/15008/ |
OAI Identifier: | oai:oa.upm.es:15008 |
Official URL: | http://clip.dia.fi.upm.es/papers/determ-09-tr.pdf |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 28 Apr 2013 05:22 |
Last Modified: | 21 Apr 2016 15:04 |