Most languages using less common paradigms Functional languages such as Lisp and Haskell. Logic programming languages such as Prolog. Declarative languages such as XSLT.[2] Esoteric programming languages, a form of mathematical recreation in which programmers work out how to achieve basic programming constructs in an extremely difficult but mathematically Turing-equivalent language.