Implementation of ACT-R in CHR