Similarly, Welty and Stemple  found that student programmers using a procedural language outperformed programmers using a non-procedural language
. In a study on software design, Ratcliffe and Siddiqi  found that students preferred to use a process approach, although Jackson's data structure approach  would have led unequivocally to a correct solution.
The initial setting of semantic research, pragmatic and communicative properties of the conventional constructions is based on the well-known thesis that the conditional construction of the non-procedural language fairly accurately reflects the logical operation of implication.
* It is necessary to establish whether the concept of "default value" is undetectable, or it is possible to offer a universal definition that can reliably restrict the empirical data of various non-procedural languages of the robotic systems corresponding to this concept.
Only after the building of the universal semantic models of the conditional constructions it is possible to move on to the question concerning the formal means of these models and how they are translated into specific non-procedural languages, and how to classify the languages, depending on what kind of formal tools they use to express the certain universal semantic models of conventional constructions.
The importance of researching the problem of conditional constructions in non-procedural languages of the robotic systems is clear.
There are no any studies based on a correct theoretical information providing a detailed description of the conditional constructions in non-procedural languages of the robotic systems of different structures.
So it is very important to develop theoretical concepts, which allow to describe the conditional constructions of non-procedural languages of robotic systems.
It should be noted that in the logic of the concept of connection does not appear in the analysis of the implications, which appears in the non-procedural languages of the conventional structures.
 VV Gorelov, Lapshin KV Research sintatiko morphological problems of conditional constructions in non-procedural languages, knowledge processing systems.