В статье проводится анализ элементов логики, которые легли в основу интерпретатора логических программ, т.е. интерпретатора языка логического программирования Пролог. Шаг за шагом описаны: требования предъявляемые к дизъюнктам конъюктивно-нормальной формы к которой эффективно можно применить принцип резолюции; резолюция и унификация управляемые в соответствии с конкретной стратегией поиска решений; априорно установленным условием для выбора дизъюнктов для извлечения резольвент на первом и последующих шагах резолютивного процесса вплоть до полной интерпретации логической формулы (программы написанной на языке Пролог) и получения некоторого результата в приемлемой для пользователя форме.  

In this article are analyzed logic theory elements, which formed the basis of logic programming interpreter, i.e. interpreter of Prolog logic programming language. Step by step are described: requirements to the disjuncts of conjunctive normal form, where a resolution principle can be effectively applied; resolution and unification controlled in accordance with a specific decisions search strategy; established a priori condition of disjuncts selection for resolvents extraction, on the first and succeeding steps the resolution process, up to the full interpretation of logical formula (program written in Prolog language) and obtaining a result in the form acceptable for the user. 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.

În articol sunt analizate elementele logicii, care sunt puse la baza unui deductor automat de interpretare a programelor computaționale scrisă în logică, adica deductor cum în realitate și este interpretorului limbajului de programare Prolog. Sunt descrisă pas cu pas: restricțiile față de disjuncții a formei conjuctiv normale cărei poate fi aplicat efectiv principiu de rezoluție; rezoluția și unificația gestionate în conformitate cu o strategie fixă de cautare a soluției; condiția stabilită apriori pentru alegerea disjuncților din care să retrage rezolventa în prim pas și în pașii ce urmează în continuare pînă la interpretarea deplină a formulei logice (program scris în Prolog) și obținerii unui rezultat în formă acceptabilă pentru utizator. Se face analiza unor funcţii a produsului SPprolog – sistem pentru proiectări în Prolog cu suport inteligent pentru instruire şi consultare ce ţine de lucrul cu sistemul şi limbajul de programare în logică