The course is devoted to elements of logic programming; presented is Horn logic as a kind of declarative language and logic programming is then understood as a theory of logic programs.
