The Intellectual Training Environment for Prolog Programming Language

摘要

In this work is described a new complex training system, named SPprolog, intended for training and self-training in logic programming language - Prolog. This system includes elements related to Prolog and logic programming, and the elements of independent, com-plex, self-sufficient training system which is capable considerably to increase the quality of self-training, and to be effective assistant in training. The most useful application of the sys-tem can be in distance education and self-training. The main elements of SPprolog system are:? Functionally expanded (in comparison with existing systems) Prolog development environ-ment, with the multipurpose code editor, the automated organization system of the personal tools, automated advice mode "Expert Advice", based on the incorporated expert system for cultivated, effective and optimized programming;? Link to foreign Prolog programs compiler which allow to compile the program to inde-pendent executable;? Built in intellectual, interactive, multimedia Prolog interpreter integrated with expert sys-tem and the elements of the intellectuality, allowing to lead detailed program interpretation, with popular and evident, explanation of the theory and mechanisms used in it, applying audiovisual effects to increase the level of naturalness of process of explanation;? Full digital training course of Prolog programming language presented in the form of the matrix of knowledge and supplied system of consecutive knowledge reproduction for self-training and evaluation;? an intensive course of training to the Prolog language and SPprolog system, based on the programmed, consecutive set of actions, allowing using the previous two mechanisms of sys-tem for popular and evident explanation of the main principles of work of system and Prolog language.