Instruments and Systems: Monitoring, Control, and Diagnostics Annotation << Back The transformation approach to verification of logical programs S.G. TCHELNOKOV, D.P. BOGOLYUBOV The paper describes the Transformation approach to verifi-cation of student-written logical programs which uses the logical algebra of the first order. The article also provides the formal description and examples of the algorithms, described in the article [1]. Key words: verification, logical program, transformation ap-proach, logical programming language Prolog, computerized tutoring systems. E-mail:foof1@yandex.ru