In this article we will deal with the analysis of several logic programming languages and their interpreters, including their theoretical origins. Logic programming is based on the first order predicate logic, as is the case with Prolog, with which we explain the basic principles of such an approach. Subsequently, we will describe non-traditional logical systems in logic programming – programming with higher-order logic represented by the λProlog programming language and source-oriented logic programming represented by the Vorvan programming language.

Keywords : linear logic; logical programming; first order predicate logic; theory of types.