English Russian
Journal Title
Scientific journal of the
theoretical and applied
researches
The News of Altai State University
Print ISSN 1561-9443
On-line ISSN 1561-9451
Issues list
Content of 1-2(65) 2010
Management, Computer Facilities and Computer Science
Mathematics and Mechanics
Physics
 
1-2(65)2010
Management, Computer Facilities and Computer Science

Previous | Next
 
O.N. Polovikova

The Analysis of Semantic Errors and Runtime Errors in a Prolog Language Program Code

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.

Full text at PDF, 316Kb. Language: russian.

Print Edition of "The News of Altai State University" copyright 1996-2010 Altai State University.
All rights reserved. Any of parts of a journal or edition as a whole cannot be reprinted without the written sanction of the authors or publisher. On purchase of a journal to address to ASU publishing house:
Altai State University. 656039, 66 Dimitrova street, Barnaul, Russia. Telephone + 7 (3852) 366351.