Functional and logic programming training distributed the following training:

• Prolog : Prolog is a language of logic programming . The name Prolog is an acronym for PROgrammation in LOGic. It was created by Alain Colmerauer and Philippe Roussel around 1972 in Luminy, Marseille. The goal was to create a programming language in which the logical rules expected of a solution would be defined and to let the compiler transform it into a sequence of instructions. One of the expected gains was an increased ease of maintenance of the applications, the addition or the deletion of rules over time not requiring to re-examine all the others.
• Caml : Caml (pronounced camel , stands for Categorical Abstract Machine Language ) is a general purpose programming language designed for program security and reliability. It lends itself to functional , imperative, and object-oriented programming styles . It is also a strongly typed language.
• Kotlin : Kotlin is an object-oriented and functional programming language , with static typing that allows compiling for the Java virtual machine, JavaScript, and to multiple platforms natively (thanks to LLVM ). Its development comes mainly from a team of programmers at JetBrains based in St. Petersburg, Russia.
• Scala : Scala is a multi-paradigm programming language designed at the Swiss Federal Institute of Technology Lausanne (EPFL) to express common programming models in a concise and elegant form. Its name comes from the English Scalable language which roughly means « adaptable language » or « language which can be scaled ». It can indeed be seen as a metalanguage.