title: sudoku solver in prolog without clpfd
body: <p>I have an <em>AI</em> project in which I should make a <em>sudoku</em> solver in <em>Prolog</em> but <em>without using the <code>clpfd</code></em> package. How should I write the code and is there any way to print whenever a variable gets a value?  </p>