Talk:Constraint Handling Rules

Latest comment: 9 years ago by Qwertyus in topic Older comments

Older comments

edit

As I understood it, CHRs are interesting mainly because confluence is decidable (which is what sets them apart from general logic programming and term rewriting systems). Is this the case? If so, I guess that article ought to mention this, although I don't feel qualified to write the material... Megacz (talk) 20:14, 17 January 2008 (UTC)Reply

Confluence is decidable if the program is terminating (because critical pairs are computable [Confluence and Semantics of Constraint Simplification Rules]). Some details for the (undecidable) general case in [On Confluence of Non-terminating CHR Program].88.174.104.199 (talk) 20:45, 11 July 2008 (UTC)Reply

I'm not sure what the article means by "executed in a committed-choice manner", and I know a fair amount about Prolog, to which CHR is being compared in the early part of the article.Hardmath (talk) 14:41, 13 April 2010 (UTC)Reply

Hardmath: committed-choice means "no backtracking". When Prolog finds a choice point, it records it, tries one of the options and backtracks to the choice point for further exploration upon failure. When CHR finds a choice point (multiple rules that can match the constraint store), it makes a choice and sticks with it. QVVERTYVS (hm?) 17:50, 23 December 2014 (UTC)Reply