Conheci Prolog no curso de Ciência da Computação. Pra nós ele foi o exemplo prático dos estudos sobre Lógica de Predicados e Inteligência Artificial. Como esse curso é sobre pesquisa, Ciências e obter um conhecimento amplo para você decidir o seu caminho, acho super válido. Também conheci Haskell pq era a linguagem de programação da época que implementava o paradigma de Programação Funcional. Logicamente, aprendemos as linguagens mais usadas no mercado. Útil para quem vai direto para o mercado.

Obrigado pelos conselhos e sugestões, confesso que pesquisarei sobre a Haskell pois parece que é uma boa base para paradigmas também.