The article presents the analysis of three basic groups of logic errors. The first group of errors is connected with incorrect use of the built in the Prolog language operators. The second group unites runtime errors which arise in a program operating time on some initial data. The third group is formed by errors caused by incorrect construction of an order in the description of the facts and rules of offers procedures. The analysis carried out by the authors is one of the research initial stages to work out and create the program module with functions to search incorrect semantic definitions and grant variants of their correction.

Key words: logic programming, Prolog, declarative level of programming, procedural level of programming, semantic errors, runtime errors.