Procesamiento de restricciones de prólogo: cuadrados de embalaje

Estoy tratando de resolver un problema de procesamiento de restricciones en el prólogo.Necesito empacar 4 cuadrados de 5x5,4x4,3x3 y 2x2 en una cuadrícula de...