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

How to Cite

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

Abstract

In this review paper a development stages of logic programming theory and practice of usage
are analyzed. Special attention is paid to the Horn clause, which formed the basis of computer programs
written in logic. The syntax and step by step transformation analysis is described, starting from atomic
formula of predicate logic to the logical model of the real world, presented in Conjunctively-normal form
and consisting of Horn clause set only. This set is almost the real program code written in the Prolog - the
logic programming language. It is mentioned that the resulting form is interpreted by the inference engine,
which is for example, the interpreter of Prolog programming language.

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

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