aplai
Project on constraint programming in ECLiPSe and CHR (swi-prolog) for the Advanced Programming Languages for AI course at KULeuven.
Task 1: Sudoku
Write a sudoku solver in two of the following systems: * ECLiPSe * CHR * JESS
Task 2: Slitherlink
A solver in two out of the three systems.