Industrial Automatic Control Systems and Controllers Annotation << Back Logical programs verifcation system based on the transformation approach for electronic manual of Prolog programming language D.P. BOGOLYUBOV, S.G. CHELNOKOV With the example of Prolog language, the paper discusses the verifcation of logical programs by learning expert systems. By verifcation, the authors mean proving program correctness under any input data meeting the problem put by. To do this, they suggest to apply transformation technique using frst order algebra of logic. The algorithm for analyzing the programs created by trainees is described. Keywords: verifcation, logical program, transformation, electronic manual, logical programming language, computerized learning systems. E-mail: bogolub@mail.ru E-mail: foofl@yandex.ru