Conceptual and applicative in logical and functional programming

This work is the result of a patient effort by the author, who wanted to offer, in particular, students determined to explore the world of IT technologies a way of initiating the two somewhat more exotic programming paradigms: the logical paradigm and the functional paradigm. Two paradigms behind which there is a lot of mathematics and an exceptional support for practicing the job of programmer to standards close to academic requirements. The programming languages chosen to illustrate the specifics of the two paradigms are: Turbo Prolog and Haskell. More on this choice at the right time.