论文信息 - A System for Tabled Constraint Logic Programming

A System for Tabled Constraint Logic Programming

As extensions to traditional logic programming, both tabling and Constraint Logic Programming (CLP) have proven powerful tools in many areas. They make logic programming more efficient and more declarative. However, combining the techniques of tabling and constraint solving is still a relatively new research area. In this paper, we show how to build a Tabled Constraint Logic Programming (TCLP) system based on XSB -- a tabled logic programming system. We first discuss how to extend XSB with the fundamental mechanism of constraint solving, basically the introduction of attributed variables to XSB, and then present a general framework for building a TCLP system. An interface among the XSB tabling engine, the corresponding constraint solver, and the user's program is designed to fully utilize the power of tabling in TCLP programs.

David Scott Warren | Baoqiu Cui

[1] Serge Le Huitouze. A New Data Structure for Implementing Extensions to Prolog , 1990, PLILP.

[2] David Toman,et al. Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog , 1995, ILPS.

[3] Christian Holzbaur,et al. Metastructures versus Attributed Variables in the Context of Extensible Unification , 1992, PLILP.

[4] Konstantinos Sagonas,et al. XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[5] Hisao Tamaki,et al. OLD Resolution with Tabulation , 1986, ICLP.

[6] I. V. Ramakrishnan,et al. Efficient data structures for tabled resolution , 1997 .

[7] David Scott Warren,et al. Attributed Variables in XSB , 1999, Electron. Notes Theor. Comput. Sci..

[8] Thom W. Frühwirth,et al. Compiling Constraint Handling Rules into Prolog with Attributed Variables , 1999, PPDP.

[9] I. V. Ramakrishnan,et al. Efficient Tabling Mechanisms for Logic Programs , 1995, ICLP.

[10] Mark Johnson. Memoization in Constraint Logic Programming , 1993, PPCP.

[11] David Scott Warren,et al. Memoing for logic programs , 1992, CACM.

[12] John W. Lloyd. Top-Down beats Bottom-Up for Constraint Extensions of Datalog , 1995 .