Разбор кода: Решение Sudoku на Prolog

Это мои первые попытки поглубже понять этот язык и мне он уже нравится. Кое-какие моменты я описываю в коде не правильно, в частности blocks([], [], []). нужна не для задания пустых массивов а для рекурсии, так же есть путаница с терминами. Но это лишь начало!)