LOGIC AND FUNCTIONAL PROGRAMMING - Lecturer: Marco Bernardo - A.Y. 2023/2024