Supplementary Files
How to Cite
Abstract
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
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.