Added Sudoku solver in Prolog, from 7l7w.