Linguagem prolog

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (275 palavras )
  • Download(s) : 0
  • Publicado : 24 de agosto de 2012
Ler documento completo
Amostra do texto
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ógicacomo 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
argumentosde 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 tradicionaisde 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 abordagemprocedimental 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 aepistemologia 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 doProlog 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 dedados) 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 deinferê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...
tracking img