The CHR-based Implementation of the SCIFF Abductive System