Linguagem prolog

ALGORITIMOS E PROGRAMAÇÃO:
Algumas das principais características da linguagem Prolog são:

- É uma linguagem orientada ao processamento simbólico;
- Representa uma implementação da lógica como linguagem de programação; - Apresenta uma semântica declarativa inerente à lógica;
- Permite a definição de programas reversíveis, isto é, programas que não distinguem entre os argumentos de entrada e os de saída;
- Permite a obtenção de respostas alternativas;
- Suporta código recursivo e iterativo para a descrição de processos e problemas, dispensando os mecanismos tradicionais de controle, tais como while, repeat, etc.;
- Permite associar o processo de especificação ao processo de codificação de programas;
- Representa programas e dados através do mesmo formalismo;
- Incorpora facilidades computacionais extralógicas e metalógicas.

A relação da linguagem PROLOG com a lógica matemática entre as abordagens lógica e procedimental é que a abordagem procedimental tem uma semântica matemática diferente ( semântica denotacional) da semântica da lógica matemática, John MacCarthy propôs que a lógica matemática fosse usada como o fundamento para a epistemologia de sistemas de computadores. Um número é uma sequência de dígitos, permitindo também os sinais de. (para números reais), - (número negativo) e notação cientifica. Algumas implementações do Prolog não fazem distinção entre inteiros e números reais.

Exemplos de programas desenvolvidos em PROLOG: Hello, World, ConVer.

Um programa Prolog, constitui-se de uma coleção de fatos (base de dados) e regras (relações lógicas), esses itens descrevem o domínio de um determinado problema. Esta descrição do problema é avaliada por um interpretador, o qual utilizando um _motor de inferência_ realiza deduções em busca de conclusões válidas para consultas realizadas pelos usuários. Assim, pode-se afirmar que a computação destes programas é equivalente a prova de um teorema em