A general implementation framework for tabled CLP

Pablo Chico De Guzmán; Manuel Carro; Manuel V. Hermenegildo; Peter Stuckey

doi:10.1007/978-3-642-29822-6_11

A general implementation framework for tabled CLP

Pablo Chico De Guzmán
, Manuel Carro
, Manuel V. Hermenegildo
, Peter Stuckey

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

9 Citations (Scopus)

Abstract

This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flexibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or failure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.

Original language	English
Title of host publication	Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings
Publisher	Springer
Pages	104-119
Number of pages	16
ISBN (Print)	9783642298219
DOIs	https://doi.org/10.1007/978-3-642-29822-6_11
Publication status	Published - 6 Jun 2012
Externally published	Yes
Event	International Symposium on Functional and Logic Programming 2012 - Kobe, Japan Duration: 23 May 2012 → 25 May 2012 Conference number: 11th

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7294 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Symposium on Functional and Logic Programming 2012
Abbreviated title	FLOPS 2012
Country/Territory	Japan
City	Kobe
Period	23/05/12 → 25/05/12

Keywords

Constraint Logic Programming
Implementation
Performance
Tabling

Access to Document

10.1007/978-3-642-29822-6_11

Cite this

Chico De Guzmán, P., Carro, M., Hermenegildo, M. V., & Stuckey, P. (2012). A general implementation framework for tabled CLP. In Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings (pp. 104-119). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7294 LNCS). Springer. https://doi.org/10.1007/978-3-642-29822-6_11

Chico De Guzmán, Pablo ; Carro, Manuel ; Hermenegildo, Manuel V. et al. / A general implementation framework for tabled CLP. Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings. Springer, 2012. pp. 104-119 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{18b869ac726849a3b07cb69048a6e9a2,

title = "A general implementation framework for tabled CLP",

abstract = "This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flexibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or failure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.",

keywords = "Constraint Logic Programming, Implementation, Performance, Tabling",

author = "\{Chico De Guzm{\'a}n\}, Pablo and Manuel Carro and Hermenegildo, \{Manuel V.\} and Peter Stuckey",

year = "2012",

month = jun,

day = "6",

doi = "10.1007/978-3-642-29822-6\_11",

language = "English",

isbn = "9783642298219",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "104--119",

booktitle = "Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings",

address = "Switzerland",

note = "International Symposium on Functional and Logic Programming 2012, FLOPS 2012 ; Conference date: 23-05-2012 Through 25-05-2012",

}

Chico De Guzmán, P, Carro, M, Hermenegildo, MV & Stuckey, P 2012, A general implementation framework for tabled CLP. in Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7294 LNCS, Springer, pp. 104-119, International Symposium on Functional and Logic Programming 2012, Kobe, Japan, 23/05/12. https://doi.org/10.1007/978-3-642-29822-6_11

A general implementation framework for tabled CLP. / Chico De Guzmán, Pablo; Carro, Manuel; Hermenegildo, Manuel V. et al.
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings. Springer, 2012. p. 104-119 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7294 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - A general implementation framework for tabled CLP

AU - Chico De Guzmán, Pablo

AU - Carro, Manuel

AU - Hermenegildo, Manuel V.

AU - Stuckey, Peter

N1 - Conference code: 11th

PY - 2012/6/6

Y1 - 2012/6/6

N2 - This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flexibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or failure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.

AB - This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flexibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or failure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.

KW - Constraint Logic Programming

KW - Implementation

KW - Performance

KW - Tabling

UR - https://www.scopus.com/pages/publications/84861754189

U2 - 10.1007/978-3-642-29822-6_11

DO - 10.1007/978-3-642-29822-6_11

M3 - Conference Paper

AN - SCOPUS:84861754189

SN - 9783642298219

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 104

EP - 119

BT - Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings

PB - Springer

T2 - International Symposium on Functional and Logic Programming 2012

Y2 - 23 May 2012 through 25 May 2012

ER -

Chico De Guzmán P, Carro M, Hermenegildo MV, Stuckey P. A general implementation framework for tabled CLP. In Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings. Springer. 2012. p. 104-119. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-29822-6_11

A general implementation framework for tabled CLP

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this