When you say Prolog, I think of the standard without CLP. Also if you want to do anything other then solving logical problem you will be better served with cloj

When you say Prolog, I think of the standard without CLP. Also if you want to do anything other then solving logical problem you will be better served with clojure/core.logic or anouther 'mainstream' language with a good logic implmentation.