I'm a fairly competent programmer and problem solver and I'm curious about a wide variety of programming paradigms (Haskell, Lisp, etc.), esoteric programming l

I'm a fairly competent programmer and problem solver and I'm curious about a wide variety of programming paradigms (Haskell, Lisp, etc.), esoteric programming languages, and even abstract concepts such as Turing machines and lambdas calculus. Despite, I have not benefited from being shown Prolog in classes. I did not understand it (nor did the teacher) and I never became curious about it again.