Are there any Constraint Logic Programmer (CLP) or Constraint Handling Rules programmer (CHR) here?

I would like to discuss about an automated (computer AI) accountant for Banks using these languages.