O Prolog ainda é usado na IA?

Segundo a Wikipedia ,

Prolog é uma linguagem de programação lógica de uso geral associada à inteligência artificial e linguística computacional.

Ainda é usado para IA?

_{Isso se baseia em uma pergunta da versão beta fechada de 2014. O autor tinha o UID de 330.}

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.