The article is devoted to the consideration of a number of issues related to the use of the mathematical apparatus of logic programming in combination with constructive geometric modeling. Using the example of three simple tasks, it is shown the possibilities of creating models that allow realizing expert functions of recognizing complex geometric structures, solving problems of combinatorial geometry, and automating the synthesis of multidimensional spaces models.