Descripción
|
|
---|---|
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. | |
Internacional
|
Si |
Nombre congreso
|
14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014) |
Tipo de participación
|
960 |
Lugar del congreso
|
Aachen, Germany |
Revisores
|
Si |
ISBN o ISSN
|
0935-3232 |
DOI
|
AIB-2014-09 |
Fecha inicio congreso
|
17/07/2014 |
Fecha fin congreso
|
18/07/2014 |
Desde la página
|
79 |
Hasta la página
|
92 |
Título de las actas
|
Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 |