Logical Approach for Solving Structural Problems