Types, modes and so much more?the Prolog way - MV Hermenegildo; JF Morales; P Lopez-Garcia; M Carro (Prolog: The Next, 2023)