Procesamiento de restricciones Prolog: cuadrados de embalaje