Prolog - Problema de "PARTIR EL TABLERO"

NECESITO AYUDA CON ESTE PROBLEMA EN ASP Y/O CLP(FD). No sé ni por dónde cogerlo. Os agradezco mucho vuestra ayuda por anticipado.

"PARTIR EL TABLERO"

INSTANCIA: un tablero rectangular NxM (enteros positivos). Algunas casillas del tablero están vacías mientras otras contienen un número entero positivo.

SOLUCIÓN (Si existe. Puede existir más de una solución): una partición del tablero en zonas. Las zonas pueden tener cualquier forma: una zona se forma con un conjunto de casillas adyacentes. Cada zona tiene una dimensión que es el número de casillas de las que está compuesto. La partición debe ser tal que cada número K en la instancia debe pertenecer a una zona de dimensión K. (Por tanto, en cada zona habrá un número).

Ejemplo:
Input el tablero 4x3 con los tres numeros:
-----------------
| | | | 2 |
-----------------
| | 4 | | |
-----------------
| | | 6 | |
-----------------

Una solución (no es la única) podría ser la formada por las tres zonas siguientes:
Zona1 con dimension 4:
---------
| | |
---------
| | 4 |
---------

Zona2 con dimension 2:
-----
| 2 |
-----
| |
-----

Zona3 con dimension 6:
-----
| |
-----
| |
-----------------
| | | 6 | |
-----------------