Prolog manual or custom labeling

Question

I am currently writing a solver for a floor planning problem in Prolog and have some issues with the labeling part.

The current problem is my constraints are posted

Answer 1

This follows up on this previous answer by @mat.

If you have got some more CPU cycles to burn, try shave_zs/1 as defined in this previous answer.

shave_zs/1 kind of works like the auxiliary library predicate clpfd:contracting/1. Unlike contracting/1, however, all values are "up for grabs"—not just the ones at the boundary. YMMV!