In what world did Prolog not work out commercially? It's still used where it makes sense to do so.