DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ

The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating. Some methodological aspects of logic programming training are analyzed, are described some core functions of SPprolog – a developing environment that represents means for developing applications in Prolog supported by the intellectual training system which provides training for working with the system and logic programming language