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 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Arias, Joaquín; Carro, Manuel: Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP* (2019)
- 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) ioport