The paper describes the connection between mathematical logic with Prolog programming language.
Logic programming language Prolog (PROgrammming in LOGic) is one of the old languages used in the field of artificial intelligence. Its foundation is the first-order logic, although it is also supported by some second-order predicates (eg. setof and bugof).
The lecture below discusses the topics of mathematical logic, the relationship between mathematical logic and the language Prolog, how Prolog program work, as well as examples of derivations.