Why would prolog be considered an ugly language? Maybe weird, but not ugly: minimalist syntax, very few special cases, isomorphic to first-order logic and almost equivalent to the pure mathematical notation. I would not recommend it for general-purpose programming, but it solves a specific set of problems better than any other language.