In this paper we have introduced the concept of partial derivation of the string. We have formulated and proved three theorems and their consequences, as well. According to these definition and theorems we can realize the implementation of grammars rules context-free grammars by PROLOG language, execute syntax analysis of strings and examine membership of strings to the language generated by grammars, which defines this grammar rules.