Índice:
Definição - O que significa o Prolog?
Programmation en Logique (Programação em lógica) ou Prolog é uma linguagem de programação de alto nível que tem suas raízes na lógica de primeira ordem ou no cálculo de predicados de primeira ordem. A linguagem foi concebida em Marselha, França, no início dos anos 70, por um grupo liderado por Alain Colmerauer. É uma das primeiras linguagens de programação lógica e continua popular hoje. É uma linguagem de programação comumente associada à linguística computacional e à inteligência artificial e é usada em sistemas especialistas, prova de teoremas e correspondência de padrões sobre árvores de análise de linguagem natural e processamento de linguagem natural.
Techopedia explica Prolog
O primeiro sistema Prolog foi desenvolvido em 1972 por Colmerauer, juntamente com Philippe Roussel, e foi baseado na interpretação processual de Robert Kowalski das cláusulas de Horn. Também foi parcialmente motivado pelo desejo de conciliar o uso da lógica como uma linguagem declarativa de representação do conhecimento com a representação processual do conhecimento. O Prolog foi desenvolvido propositadamente para processamento de linguagem natural - relacionado às interações com o computador e com a linguagem (natural) humana.
O prólogo difere de outras linguagens de programação, pois é declarativo e não seqüências de comandos. Às vezes, é chamada de linguagem declarativa ou baseada em regras, pois é expressa em termos de relacionamentos entre as propriedades dos objetos, apresentados como fatos e regras. Um cálculo é iniciado executando uma consulta sobre essas relações.
As aplicações incluem:
- Aprendizado de máquina
- Planejamento de robôs
- Raciocínio automatizado
- Solução de problemas
- Recuperação inteligente de banco de dados
- Compreensão da linguagem natural
- Idioma da especificação
