Respostas:
Lembrando que a inteligência artificial é um empreendimento acadêmico há mais tempo, o Prolog foi um dos primeiros idiomas usados como parte do estudo e implementação dela. Raramente chegou a grandes aplicações comerciais, tendo dito isso, uma implementação comercial famosa é em Watson, onde o prólogo é usado para a PNL .
A Universidade de Edimburgo contribuiu para o idioma e às vezes era chamado de "Prolog de Edimburgo". Ainda é usado nos ensinamentos acadêmicos de lá como parte do curso de inteligência artificial.
A razão pela qual o Prolog é considerado poderoso na IA é porque a linguagem permite um gerenciamento fácil de métodos recursivos e correspondência de padrões.
Para citar Adam Lally, do IBM Thomas J. Watson Research Center , e Paul Fodor, da Stony Brook University :
a linguagem Prolog é muito expressiva, permitindo que regras recursivas representem acessibilidade em árvores de análise e a operação de negação como falha para verificar a ausência de condições.
Sim, como mencionado em outras respostas, o Prolog é realmente usado no IBM Watson. O prólogo não recebe muito "hype" e "buzz" hoje em dia, mas ainda é absolutamente usado. Como sempre, ele possui certas áreas específicas onde brilha e técnicas específicas que mapeiam bem seu uso. Especificamente, coisas como Programação Lógica Indutiva , Programação Lógica por Restrições , Programação por Conjunto de Respostas e alguns aplicativos da PNL podem envolver o uso extensivo do Prolog.