Cooperation of constraint domains in the TOY system

This paper presents a computational model for the cooperation of constraint domains, based on a generic Constraint Functional Logic Programming (CFLP) Scheme and designed to support declarative programming with functions, predicates and the cooperation of different constraint domains equipped with their respective solvers. We have developed an implementation in the CFLP system TOY, supporting an instance of the scheme which enables the cooperation of symbolic Herbrand constraints, finite domain integer constraints, and real arithmetic constraints. We provide a theoretical result and an analysis of benchmarks showing a good performance with respect to the closest related approach we are aware of

[1]  Rafael del Vado Vírseda,et al.  A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme , 2007, Electron. Notes Theor. Comput. Sci..

[2]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[3]  Petra Hofstedt,et al.  A Flexible Meta-solver Framework for Constraint Solver Collaboration , 2003, KI.

[4]  Franz Baader,et al.  On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers , 1995, CP.

[5]  Greg Nelson,et al.  Simplification by Cooperating Decision Procedures , 1979, TOPL.

[6]  Rafael del Vado Vírseda,et al.  A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming , 2007, Electron. Notes Theor. Comput. Sci..

[7]  Mario Rodríguez-Artalejo,et al.  Polymorphic Types in Functional Logic Programming , 2001, J. Funct. Log. Program..

[8]  Rafael del Vado Vírseda,et al.  A lazy narrowing calculus for declarative constraint programming , 2004, PPDP '04.

[9]  Tetsuo Ida,et al.  Collaborative constraint functional logic programming system in an open environment , 2003 .

[10]  Tobias Nipkow,et al.  Term rewriting and all that , 1998 .

[11]  Rafael del Vado Vírseda,et al.  A new generic scheme for functional logic programming with constraints , 2007, High. Order Symb. Comput..

[12]  Petra Hofstedt,et al.  Integration of declarative and constraint programming , 2005, Theory and Practice of Logic Programming.

[13]  Carlos Castro,et al.  A Component Language for Hybrid Solver Cooperations , 2004, ADVIS.