Prolog wouldn't have a chance over C++ or Java because it's not as good a programming language as C++ or Java (or Perl or Python or Ruby or C or many other lang

Prolog wouldn't have a chance over C++ or Java because it's not as good a programming language as C++ or Java (or Perl or Python or Ruby or C or many other languages). You'll notice that dramatically poor performance has not held back Python or Ruby. Logic programming is a bad programming paradigm. The reason strictly evaluated imperative languages like Scheme or C++ are popular is because in these languages, you tell the computer what to do.