Find in Library

In this tutorial we present an initial view of the logical paradigm, followed by an instantiation of its concepts as implemented by the Prolog language (with the syntax as defined by SWI-Prolog). The main theoretical concepts associated with programming languages are then discussed in the scope of the Prolog programming language.