No, prolog is weak for things involving concrete calculations. It is absolutely stellar for anything involving using/building a logical transformation framework

No, prolog is weak for things involving concrete calculations. It is absolutely stellar for anything involving using/building a logical transformation framework, such as building provers, compilers, solvers and the like. Most people will tell you it's slow, but that's comparing very specialized solvers built in C++ and the like. The yield/effort ratio of prolog programs for suitable problems is very high.