Did you got to the University of York? I did and I've never met anyone from another uni who learned Ada.
I think I was lucky to go and work for a company where I got to do both Ada (specifically SPARK) and Prolog in a professional capacity. It wasn't until I used them "for real" that I really appreciated the benefits of both when used for what they were designed for.
Sadly Ada has a bad rep, in part I think because it was mandated on so many terrible death-march defence projects. It seems to be having a minor renaissance, with people like Nvidia using Ada 2012 and SPARK to code their Risc-v security chip.