We address the problem of completely automatic and declarative way to laying out the elements of user interface in a way prescribed by a set of designer-specified guidelines. We present a model of UI which encorporates all relevant notions and features, and describe an approach to automatic UI layout synthesis based on utilization of relational verifiers. We discuss how the techniques of relational programming fit for solving this problem and showcase the (preliminary) results of the evaluation of the approach we suggest.