Towards pre-indexed terms

Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2014). Towards pre-indexed terms. In: "14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014)", 17-18 Jul 2014, Viena, Austria. pp. 79-92.

Description

Title: Towards pre-indexed terms
Author/s:
  • Morales Caballero, José Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014)
Event Dates: 17-18 Jul 2014
Event Location: Viena, Austria
Title of Book: Aachen Department of Computer Science Technical Report Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014
Date: 2014
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works

Full text

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

Abstract

Abstract. Indexing of terms and clauses is a well-known technique used in Prolog implementations (as well as automated theorem provers) to speed up search. In this paper we show how the same mechanism can be used to implement efficient reversible mappings between different term representations, which we call pre-indexings. Based on user-provided term descriptions, these mappings allow us to use more efficient data encodings internally, such as prefix trees. We show that for some classes of programs, we can drastically improve the efficiency by applying such mappings at selected program points.

More information

Item ID: 52671
DC Identifier: http://oa.upm.es/52671/
OAI Identifier: oai:oa.upm.es:52671
Official URL: http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014/2014-09.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 Oct 2018 10:54
Last Modified: 18 Oct 2018 10:54
  • 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