Representation of knowledge and its retrieval for purposes of automatic programming

In this paper a concept of an automatic programming system is characterized. According to this concept the computer on the basis of usees requirement expressed in the natural language performs the synthesis of the user program in Pascal from pieces of knowledge included in the knowledge base. In the paper the form of knowledge representation needed for automatic synthesis of user programs is introduced. The knowledge for the knowledge base is acquired from some user programs written in Pascal. An example of representation of knowledge acquired from a user program is shown. On the basis of this example the problem of the user program retrieval is introduced.