TCHR: a framework for tabled CLP. Tabled Constraint Logic Programming is a powerful execution mechanism for dealing with constraint logic programming without worrying about fixpoint computation. Various applications, e.g. in the fields of program analysis and model checking, have been proposed. Unfortunately, a high-level system for developing new applications is lacking, and programmers are forced to resort to complicated ad hoc solutions. This papers presents TCHR, a high-level framework for tabled constraint logic programming. It integrates in a light-weight manner Constraint Handling Rules, a high-level language for constraint solvers, with tabled logic programming. The framework is easily instantiated with new application-specific constraint domains. Various high-level operations can be instantiated to control performance. In particular, we propose a novel, generalized technique for compacting answer sets
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Cremers, M.F.G.; Remie, M.J.; Schreel, K.R.A.M.; de Goey, L.P.H.: Thermochemical heat release of laminar stagnation flames of fuel and oxygen (2010)
- Schrijvers, Tom; Demoen, Bart; Warren, David S.: TCHR: a framework for tabled CLP (2008)
- Schrijvers, Tom; Demoen, Bart; Warren, David Scott: TCHR: a framework for tabled CLP (2007)