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

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.

În articol sunt descrisă etapele de dezvoltare a teoriei și practicii aplicării programării logice. Atenție sporită este acordată disjuncțiilor lui Horn, care direct pot fi considerați în calitate de părți componente a unor programe coputaționale prezentate în logică. Este descrisă sintaxa și procesul de retransformare formulei logice de la o formulă atomară pînă la un model logic a lumei reale și prezentarea lui (modelului) într-o formă conjuctiv-normală care, în calitate de componente conține numai mulțimea disjuncțiilor lui Horn. Forma obținută a formulei logicii predicatelor deja poate fi interpretată prin intermediu unui motor de inferență cum este, de exemplu, interpretorul limbajului Prolog.