Prolog is a very different beast, in that it doesn't rely on any "thick" abstraction. It's based on resolution [1], thus the way code is executed is straightfor

Prolog is a very different beast, in that it doesn't rely on any "thick" abstraction. It's based on resolution [1], thus the way code is executed is straightforward and unsurprising (providing you understand resolution first). If you have never tried it out you should, maybe you will like declarative languages a little bit more afterwards. [1] http://en.wikipedia.org/wiki/Resolution_%28logic%29 http://en.wikipedia.org/wiki/Resolution_%28logic%29