The purpose of this lab assignment is to give you some experience program-ming with logic programming and instituting constraints in a logic-based program. Your goal is to create aSudoku solver program that brute-force solvesanygiven 9x9 Sudoku puzzle. Your program should accept amatrix as an input (just like the previous lab assignment) and return a formatted output that resembles aSudoku layout. Text output is fine, or you may output to a file (or both). USE SWI PROLOG. Easy Difficulty:[[8,_,_,9,_,3,_,_,1],[_,_,5,_,8,_,9,_,_],[_,3,_,_,_,_,_,6,_],[4,_,_,1,_,6,_,_,2],[_,6,_,_,_,_,_,4,_],[1,_,_,7,_,2,_,_,5],[_,7,_,_,_,_,_,9,_],[_,_,2,_,5,_,8,_,_],[9,_,_,4,_,1,_,_,3]]Moderate Difficulty:[[3,_,7,_,9,_,_,6,_],[9,5,_,_,_,8,_,_,2], [6,_,_,7,_,_,_,_,_],[_,3,_,_,6,_,_,5,_],[_,_,9,_,_,_,6,_,_],[_,8,_,_,4,_,_,2,_],[_,_,_,_,_,5,_,_,6],[4,_,_,9,_,_,_,1,3],[_,9,_,_,1,_,2,_,7]]Fiendish Difficulty:[[_,6,_,_,5,_,_,2,_],[_,_,_,3,_,_,_,9,_],[7,_,_,6,_,_,_,1,_],[_,_,6,_,3,_,4,_,_],[_,_,4,_,7,_,1,_,_],[_,_,5,_,9,_,8,_,_],[_,4,_,_,_,1,_,_,6],[_,3,_,_,_,8,_,_,_],[_,2,_,_,4,_,_,5,_]]

This assignment is logic based . previous one was java