Project on constraint programming in ECLiPSe and CHR (swi-prolog) for the APLAI course at KULeuven.