ProLOG

NOME DA FACULDADE – NOME_REDUZIDO

PROLOG

NOME DO ALUNO

CIDADE
NOVEMBRO - 2013
NOME DO ALUNO

PROLOG

Trabalho apresentado ao Professor Mestre. Nome do professor da disciplina de Lógica da turma do 1º Período, turno Noturno do curso de Sistemas de Informação.

NOME DA FACULDADE REDUZIDO
CIDADE - 27/11/2013

SUMÁRIO

1 Introdução 4
2 Histórico 5
3 Sintaxe 8 3.1 Programa = regras + fatos 8 3.2 Regras e fatos em Prolog 9 3.3 Termos e predicados 9 3.4 Representação de conhecimento 11 3.5 Convenções para leitura de cláusulas 12 3.6 Perguntas 13
4 Exemplos e depuração de programa 14 4.1 O modelo de execução de Byrd 16 4.2 Controle do nível de espionagem 17 4.3 Modos de depuração: trace ou debugging 19 4.4 Interagindo com o trace 20 4.5 Exemplo completo de programa 22
5 Aplicabilidade 30
6 Aspectos Gerais 31
7 Conclusão 33
8 Referencias 34

4
1 – INTRODUÇÃO PROLOG

Inicialmente apresentamos um histórico do Prolog. Em seguida, uma introdução á linguagem Prolog, definindo a nomenclatura básica, que inclui os conceitos de fato, regra, pergunta, cláusula, predicado, procedimento e programa.
Os conceitos de programação introduzidos aqui são detalhados e exemplificados nos demais capítulos da primeira parte do livro. Maiores detalhes sobre a sintaxe do Prolog são encontrados na segunda parte deste livro-texto.

5
2 - HISTÓRICO
Um programa Prolog é uma coleção de fatos e de regras que definem relações entre os objetos do discurso do problema. Uma computação em Prolog envolve a dedução de consequências a partir das regras e fatos. O significado do programa é o conjunto de todas as consequências deduzíveis pela iterativa