I agree. Prolog was the only time I've been very much mindblown when learning programming languages. Erlang/Elixir is a close follow-up, but thatbwas more of the seamless nature of it all and not really the ideas like Prolog.