ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE

Abstract

The present article focuses on some events that contributed to the appearance and evolution of formal logic, logic programming and Prolog programming language. The elements of logic programming theory that brought together let us comprehend the basic concepts are given - from alphabet and syntax to Horn clause. In some sections of the article, the material is structured and presented in the graphical form or in the form convenient for representation in a, so-called, "matrix of knowledge elements" - the environment for the problem description in structured form and tool for knowledge bases construction, used in programmed training.