Simple Minesweeper application with Prolog and Constraint Handling Rules (CHR)