Prolog Sudoku Script

Prolog is my first experience with a declarative programming language, the idea of just giving facts and rules to your script and letting the compiler figure out the logic flow is completely alien to me but the fact that such a concise script can solve any 4x4 sudoku puzzle you throw at it is a testament to this programming paradigm.