Why in 2020 should I learn Prolog?