O que é o Prolog?
Concebido no início da década de 1970, o Prolog, provavelmente uma combinação das palavras programa e lógica, é uma das primeiras linguagens de programação de computadores. Em parte porque é um código muito simples, usando lógica de primeira ordem e pouca computação, ele ainda é usado popular. O conjunto de instruções original foi consideravelmente ampliado e desenvolvido em muitas variantes, porque é particularmente adequado para processar a linguagem. Esses dois atributos principais do programa fornecem o processamento para aplicativos como inteligência artificial e telecomunicações automatizadas.
O Prolog usa lógica formal de primeira ordem. As instruções enviadas para um computador são firmes; eles não têm ponderação computacional difusa. Na expressão, a sintaxe da linguagem é um conjunto finito de regras e a semântica é definida, geralmente por conjuntos como descritores únicos, várias listas e seqüências de caracteres ou por um intervalo como sequências numéricas.
Junto com algumas codificações mais conhecidas, como a linguagem de marcação de hipertexto (HTML), o Prolog está em uma classe de software comumente chamada de linguagens de programação declarativa, que caracteristicamente usam a declaração simples "X é igual a Y", definida como "termo". Um computador é disse o que fazer; não é instruído a calcular por si próprio como chegar lá. O computador recebe um conjunto de fatos com um "predicado" e relações, definidas como uma "cláusula", a partir da qual uma consulta de entrada deve produzir uma conclusão de saída verdadeira versus falsa. Ele não executa um algoritmo, mas obtém uma resposta simples adicionando e subtraindo ou negando seu conjunto conhecido de definições. A computação em Prolog é usada para testar e provar teorias e suas suposições subjacentes, da matemática avançada à biologia e à filosofia.
Uma das teorias cognitivas da inteligência é que existe uma grande quantidade de informações lexicais no cérebro que são recuperadas, processadas e realimentadas, resultando em maior complexidade ou simplicidade da informação. Com o aumento da capacidade de memória e acesso rápido, esse é o paradigma dominante que impulsionou o santo graal da ciência da computação - a inteligência artificial. O que é fundamental de acordo com muitos no campo é interface e idioma. A programação Prolog pode ser usada para criar GUIs, a interface gráfica do usuário pioneira da Apple®, simplesmente definindo símbolos visuais. Também pode ser usado para ler, traduzir e criar expressão facial.
A linguística computacional é substancialmente mais difícil e, embora o Prolog tenha avançado ao longo dos anos para incorporar, por exemplo, os princípios gramaticais exclusivos de algumas línguas estrangeiras, muitos pesquisadores questionam se ela representa efetivamente a linguagem. Para sistemas especializados limitados, como linhas telefônicas de suporte técnico por reconhecimento de voz, a programação Prolog é usada com algum grau de eficácia. Também pode ser integrado a softwares lógicos de ordem superior - linguagens de quantificação como C + ou java -, mas a compactação e a portabilidade permanecem problemas que perduram para essa linguagem de programação com uso intensivo de dados.