Agreed. Prolog as a language is about as direct and minimalist a representation of its concept as it's possible to get (along with Lisp and co). In that respect I would say it's rather a fine language as beauty goes.