Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.

López García, Pedro; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (2009). Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.. Monografía (Artículo de trabajo). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.
Autor/es:
  • López García, Pedro
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Artículo de trabajo)
Fecha: Febrero 2009
Materias:
Palabras Clave Informales: Determinacy inference and checking, Types, Determinación, conclusión, y verificación, Tipos.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 15008
Identificador DC: http://oa.upm.es/15008/
Identificador OAI: oai:oa.upm.es:15008
URL Oficial: http://clip.dia.fi.upm.es/papers/determ-09-tr.pdf
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 28 Abr 2013 05:22
Ultima Modificación: 21 Abr 2016 15:04
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM