Description, implementation, and evaluation of a generic design for tabled CLP

Arias Herrero, Joaquín and Carro Liñares, Manuel (2019). Description, implementation, and evaluation of a generic design for tabled CLP. "Theory And Practice of Logic Programming", v. 19 (n. 3); pp. 412-448. ISSN 1471-0684. https://doi.org/10.1017/S1471068418000571.

Description

Title: Description, implementation, and evaluation of a generic design for tabled CLP
Author/s:
  • Arias Herrero, Joaquín
  • Carro Liñares, Manuel
Item Type: Article
Título de Revista/Publicación: Theory And Practice of Logic Programming
Date: May 2019
ISSN: 1471-0684
Volume: 19
Subjects:
Freetext Keywords: Constraints; Tabling; Prolog; Interface; Implementation
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

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

Abstract

Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and in some cases more efficient than LP, CLP or LP + tabling. Previous designs of TCLP systems did not fully use entailment to determine call / answer subsumption and did not provide a simple and well-documented interface to facilitate the integration of constraint solvers in existing tabling systems. We study the role of projection and entailment in the termination, soundness and completeness of TCLP systems, and present the design and an experimental evaluation of Mod TCLP, a framework that eases the integration of additional constraint solvers. Mod TCLP views constraint solvers as clients of the tabling system, which is generic w.r.t. the solver and only requires a clear interface from the latter. We validate our design by integrating four constraint solvers: a previously existing constraint solver for difference constraints, written in C; the standard versions of Holzbaur's CLP(Q) and CLP(R), written in Prolog; and a new constraint solver for equations over finite lattices. We evaluate the performance of our framework in several benchmarks using the aforementioned constraint solvers. Mod TCLP is developed in Ciao Prolog, a robust, mature, next-generation Prolog system.

More information

Item ID: 63471
DC Identifier: https://oa.upm.es/63471/
OAI Identifier: oai:oa.upm.es:63471
DOI: 10.1017/S1471068418000571
Official URL: https://doi.org/10.1017/S1471068418000571
Deposited by: Memoria Investigacion
Deposited on: 22 Oct 2020 08:59
Last Modified: 22 Oct 2020 08:59
  • 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