This is a simple 4x4 sudoku solver implemented in Prolog.