The Ciao clp(FD) library. A modular CLP extension for Prolog

Gallego Arias, Emilio Jesús and Haemmerlé, R. and Hermenegildo, Manuel V. and Morales Caballero, José Francisco (2013). The Ciao clp(FD) library. A modular CLP extension for Prolog. "CoRR", v. abs/13 ;

Description

Title: The Ciao clp(FD) library. A modular CLP extension for Prolog
Author/s:
  • Gallego Arias, Emilio Jesús
  • Haemmerlé, R.
  • Hermenegildo, Manuel V.
  • Morales Caballero, José Francisco
Item Type: Article
Título de Revista/Publicación: CoRR
Date: January 2013
Volume: abs/13
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
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 (753kB) | Preview

Abstract

We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; highefficiency, being competitive with other TT> implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the TT> kernel of the library. This TT> kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name the TT> solver. A final level integrates the CLP (J7©) paradigm with our TT> solver. This is achieved using attributed variables and a compiler from the CLP (J7©) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of TT> constraints by writing new indexicals.

More information

Item ID: 15394
DC Identifier: http://oa.upm.es/15394/
OAI Identifier: oai:oa.upm.es:15394
Official URL: http://dblp.uni-trier.de/db/journals/corr/corr1301.html#abs-1301-7702
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 21 May 2013 05:38
Last Modified: 21 Apr 2016 15:27
  • 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