A little sudoku solver using JavaFX for GUI and SWI-Prolog for AI.