
arXiv: 0712.3830
Abstract 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 (CHR), 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.
FOS: Computer and information sciences, Technology, Logic, tabled execution, cs.PL, CONSTRAINT HANDLING RULES, Logic programming, constraint handling rules, Computation Theory & Mathematics, CHECKING, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, 4613 Theory of computation, constraint logic programming, Science & Technology, Computer Science - Programming Languages, Constraint Handling Rules, 4602 Artificial intelligence, 0803 Computer Software, Computer Science, Software Engineering, Computer Science, Science & Technology - Other Topics, Programming Languages (cs.PL)
FOS: Computer and information sciences, Technology, Logic, tabled execution, cs.PL, CONSTRAINT HANDLING RULES, Logic programming, constraint handling rules, Computation Theory & Mathematics, CHECKING, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, 4613 Theory of computation, constraint logic programming, Science & Technology, Computer Science - Programming Languages, Constraint Handling Rules, 4602 Artificial intelligence, 0803 Computer Software, Computer Science, Software Engineering, Computer Science, Science & Technology - Other Topics, Programming Languages (cs.PL)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
