Processamento de restrição de prólogo: Quadrados de embalagem

Estou tentando resolver um problema de processamento de restrição no prólogo.Eu preciso embalar 4 quadrados de 5x5,4x4,3x3 e 2x2 em uma grade de 10x10. Eles ...