Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (851kB) | Vista Previa |
Some improvements over the continuation call tabling implementation technique
Cita
Chico de Guzmán, Pablo, Carro Liñares, Manuel 
ORCID: https://orcid.org/0000-0001-5199-3135, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Silva, Cláudio and Rocha, Ricardo
(2007).
Some improvements over the continuation call tabling implementation technique.
En: "7th International Colloquium on Implementation of Constraint and Logic Programming Systems", September 8, 2007, Porto, Portugal.
ORCID: https://orcid.org/0000-0001-5199-3135, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Silva, Cláudio and Rocha, Ricardo
(2007).
Some improvements over the continuation call tabling implementation technique.
En: "7th International Colloquium on Implementation of Constraint and Logic Programming Systems", September 8, 2007, Porto, Portugal.
Descripción
| Título: | Some improvements over the continuation call tabling implementation technique |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 7th International Colloquium on Implementation of Constraint and Logic Programming Systems |
| Fechas del Evento: | September 8, 2007 |
| Lugar del Evento: | Porto, Portugal |
| Título del Libro: | Proceedings of CICLOPS 2007: 7th International Colloquium on Implementation of Constraint and Logic Programming Systems |
| Fecha: | 2007 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
Tabled evaluation has been proved an effective method to improve several aspeets of goal-oriented query evaluation, including termination and complexity. Several "native" implementations of tabled evaluation have been developed which offer good performance, but many of them need significant changes to the underlying Prolog implementation. More portable approaches, generally using program transformation, have been proposed but they often result in lower efficieney. We explore some techniques aimed at combining the best of these worlds, i.e., developing a portable and extensible implementation, with minimal modifications at the abstract machine level, and with reasonably good performance. Our preliminary results indícate promising results.
Más información
| ID de Registro: | 14600 |
|---|---|
| Identificador DC: | https://oa.upm.es/14600/ |
| Identificador OAI: | oai:oa.upm.es:14600 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 07 Mar 2013 07:30 |
| Ultima Modificación: | 21 Abr 2016 14:20 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
