Zeimer napisał
Co do użyteczności języków logicznych - zależy ona od tego, ile można zarobić na rozwiązywaniu problemów z domeny logicznej. Strzelam, że pisanie kompilatorów i parserów oraz sztuczna inteligencja nie są dochodowe, więc języki logiczne pozostaną raczej ciekawostką i obiektem badań.
Co do pracy magisterskiej - sam chciałbym się zająć algorytmami lub językami programowania. Jako, że algorytmy mają się dobrze, a uniwersalny i idealny język programowania dalej nie istnieje skłaniam się ku temu drugiemu.
Dodam jeszcze listę języków programowania, których radzę unikać: Objective-C, Visual Basic, Perl, Pascal, Delphi, Lisp (jeżeli już bierzemy się do FP to tylko Haskell).