Constraint Handling Rules : Current Research Topics
Publication year: 2008
ISBN: 978-3-540-92243-8
Internet Resource: Please Login to download book
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
Subject: Computer Science, Ada, Constraint, algorithms, answer sets, compositional semantics, computational logics, constraint logic programming, constraint programming, constraint solvers, constraint theory, database logic, first order logic, inductive logic p, logic programming, programming language, algorithm analysis and problem complexity, Artificial Intelligence, Programming Techniques, Mathematical Logic and Formal Languages, Database Management
