IA Prolog

CENTRO UNIVERSITÁRIO DO MARANHÃO – UniCEUMA
COORDENAÇÃO DO CURSO DE SISTEMA DE INFORMAÇÃO
CURSO DE SISTEMA DE INFORMAÇÃO

TRABALHO de I.A
Edvar Alves Batista – CPD 552021
Ednalva Silva Brito – CPD 541904
Diego Cutrim – CPD 531923
Rogério Melo Frank – CPD 563705
Jailson Viegas –

Profº. Roosevelt

SÃO LUIS – MA
2008

PROLOG

Sumário
1. INTRODUCAO 5
1.1 APLICAÇÕES 6
1.2 PROLOG E OUTRAS LINGUAGENS 6
1.3 TURBO PROLOG E VISUAL PROLOG 6
2. CONCEITOS BASICOS 7
2.1 FATOS 7
2.2 QUESTÕES 7
2.3 UNIFICAÇÃO 8
3. TURBO PROLOG 8
3.1 A ESTRUTURA DE UM PROGRAMA TURBO PROLOG 8
PREDICATES. 9
CLAUSES. 9
GOAL. 9
DATABASE. 9
3.2 PRIMEIRO'PROGRAMA 10
3.3 CONJUNÇÕES 10
3.4 VARIÁ VEIS 11
3.5 ARIDADE 12
4. O RETROCESSO (BACKTRACKING) . 12
5.REGRAS 14
RESOLIUÇÂO COM REGRAS 15
5.2 RETROCESSO (BACKTRACKlNG) COM REGRAS 16
5.3 DISJUNÇÃO (“0U”) 16
6. ENTRADA E SAlDA 16
WRITE . 16
READLN 16
READINT. 16
READCHAR. 16
READREAL. 16
7. CONTROLE DO RETROCESSO 17
7.1 FALHA (FAIL) 17
7.2 CORTE (CUT) 18
7.3 MÉTODOS DO CORTE E FALHA (CUT AND FAIL) 19
8. RECURSAO 21
8.1 A VARIÁ VEL ANÔNIMA “_” 21
9. LISTAS 21
10. ESTRUTURAS COMPOSTAS 23
11. BANCOS DE DADOS DINAMICOS 25
ASSERTA. 26
ASSERTZ. 26
RETRACT. 26
FINDALL. 26
CONSULT. 26
SAVE. 26
12.CONCLUSAO 32
13.BIBLIOGRAFIA 33

INTRODUCAO

• O termo Prolog é derivado da expressão "Programming in Logic", uma vez que é baseado em Lógica de Predicados de 1 a ordem.
• Surgiu há muitos Séculos atrás com o surgimento da lógica tradicional com Aristóteles.Século 19, formalização da lógica com DeMoraga Boole (lógica booleana),Século 20, desenvolvimento de muitos princípios da lógica,1930, teoria de demostração de Berbrand ,1965, princípio de