Prolog é uma linguagem de programação nova e poderosa com aplicações na vanguarda da pesquisa científica. Ele foi desenvolvido na França por pesquisadores interessados ​​em tradução automática entre línguas naturais. Em seguida, foi refinado na Escócia por matemáticos interessados ​​em programas de computador que comprovam automaticamente teoremas matemáticos . Posteriormente, foi escolhido pelos japoneses para a língua oficial do Projeto Quinta Geração de Inteligência Artificial. Tradução Linguagem Natural

Usando Prolog envolve escrever uma série de declarações descrevendo o conhecimento em um determinado domínio restrito e , em seguida, fazer perguntas sobre este domínio. Prolog procura automaticamente por meio de declarações e vem com todas as respostas possíveis que são consistentes com a série de instruções. Se as declarações são definições e regras de gramática, Prolog pode levar uma pena de candidato e decidir se é uma sentença válida em termos de definições e regras da língua. Um programa um pouco mais sofisticado voltaria a tradução da sentença , se ele é válido.
Automatic Theorem Proving

Se o banco de dados de declarações consiste em relações matemáticas em vez de gramática queridos, você pode lançar um teorema como uma questão eo sistema Prolog irá responder com um "sim" ou "não" dependendo se o teorema é consistente com o banco de dados de fatos e regras. Mostrando uma afirmação é consistente com um conjunto de regras e fatos é o mesmo que testar uma proposta teorema matemático ou lógico para ver que é válido. Prolog entende nem matemática , nem lógica - ele só entende consistência
Data Mining

Prolog, por sua natureza, cria um banco de dados. . Devido à forma como expressões Prolog conter variáveis ​​, uma pergunta sobre o banco de dados pode retornar valores desejados . Por exemplo , a consulta " Bigger_than_a_breadbox (X) " irá retornar um "não" se nada no banco de dados é maior do que uma embalagem de pão . Se algo é , Prolog retornará "sim ", bem como uma lista de todas as coisas no banco de dados que causaram um "match ". Haverá uma lista como : . X = Godzilla ; X = O Empire State Building; X = A Volkswagen e assim por diante, dependendo do conteúdo do banco de dados
Robotics

Robots deve constantemente se perguntar a mesma pergunta : "O que eu faço agora " O banco de dados que é usado para responder a esta pergunta vem de três fontes: os sensores, memória e comandos a partir de seres humanos. A questão continua a ser o mesmo, mas o banco de dados que é usado para responder a pergunta muda constantemente . Uma das vantagens da utilização de um robô com prólogo é que vários prologs pode correr ao mesmo tempo sobre a mesma base de dados . Os olhos podem executar um prólogo enquanto as pernas executar outro prólogo sem qualquer interferência , como nem altera o banco de dados.