A System for Tabled Constraint Logic Programming Export

@incollection{lp:tabling:constr_tabled_lp, abstract = {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.}, author = {Cui, Baoqiu and Warren, David}, citeulike-article-id = {5743501}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-44957-4_32}, citeulike-linkout-1 = {http://www.springerlink.com/content/2acjrxdlj4t30g6k}, doi = {10.1007/3-540-44957-4_32}, journal = {Computational Logic — CL 2000}, keywords = {constraint-logic-programming, logic-programming, prolog, tabled-logic-programming, xsb}, pages = {478--492}, posted-at = {2009-09-08 17:05:09}, priority = {2}, title = {A System for Tabled Constraint Logic Programming}, url = {http://dx.doi.org/10.1007/3-540-44957-4_32}, year = {2000} }

TY - CHAP ID - lp:tabling:constr_tabled_lp L3 - citeulike-article-id:5743501 N2 - 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. JF - Computational Logic — CL 2000 EP - 492 TI - A System for Tabled Constraint Logic Programming SP - 478 KW - constraint-logic-programming KW - logic-programming KW - prolog KW - tabled-logic-programming KW - xsb AU - Cui, Baoqiu AU - Warren, David PY - 2000/// UR - http://dx.doi.org/10.1007/3-540-44957-4_32 ER -