Prolog clp rekonstrukcja domino

Problem wygląda następująco. Celem programu napisanego w gnu-prologu (bądź innej odmianie prologa) z udziałem clp jest zrekonstruowanie prostokąta ułożonego ze wszystkich kamieni domina na podstawie prawego górnego rogu.

Obrazowo to wygląda tak:

Dane:

3 1 2 6

3 4 1

5 6

  6

I rekonstrukcja tego to pełen prostokąt 8x7 zawierający wszystkie kamieni domina

3 1 2 6 6 1 2 2 

3 4 1 5 3 0 3 6 

5 6 6 1 2 4 5 0 

5 6 4 1 3 3 0 0 

6 1 0 6 3 2 4 0 

4 1 5 2 4 3 5 5 

4 1 0 2 4 5 2 0

Przekopałem juź chyba cały internet i próbowałem wielu koncepcji jednak nie udało mi się nic konkretnego uzyskać.

Jeśli ktoś kiedyś rozwiązywał podobny problem lub wie jak coś takiego “ugryźć” bardzo proszę o podpowiedź. Każda konstruktywna wypowiedź mile widziana.