The following subsections describe declarations, clauses, options and built-in predicates of the CHR language.