Application of Theorem Proving Methods for Automatic Program Synthesis for N. C. Machine Tools