Talk:Constraint Handling Rules

From Wikipedia, the free encyclopedia

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)