ОСОБЕННОСТИ ПОСТРОЕНИЯ ВЫЧИСЛИТЕЛЬНОГО МЕХАНИЗМА ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
Pdf (Русский)

How to Cite

PELIN, S., & PELIN, N. (2019). ОСОБЕННОСТИ ПОСТРОЕНИЯ ВЫЧИСЛИТЕЛЬНОГО МЕХАНИЗМА ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ. Acta Et Commentationes Exact and Natural Sciences, 2(2), 88-100. https://doi.org/10.36120/2587-3644.v2i2.88-100

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

https://doi.org/10.36120/2587-3644.v2i2.88-100
Pdf (Русский)
Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.