Inteligencia Artificial

Práticas de Programação em Lógica
José Romildo Malaquias
9 de março de 2010

2

Sumário

1

Execução de programas em Prolog
1.1 Objetivos . . . . . . . . . . . . . . . . . . .
1.2 Conceitos . . . . . . . . . . . . . . . . . . .
1.2.1 Prolog . . . . . . . . . . . . . . . . .
1.2.2 Constantes . . . . . . . . . . . . . .
1.2.3 Variáveis . . . . . . . . . . . . . . .
1.2.4 Cláusulas . . . . . . . . . . . . . . .
1.3 Exemplo . . . . . . . . . . . . . . . . . . . .
1.3.1 SWI-Prolog . . . . . . . . . . . . . .
1.3.2 Interrogações à base de conhecimento
1.4 Exercícios . . . . . . . . . . . . . . . . . . .
1.4.1 Socorro! . . . . . . . . . . . . . . . .
1.4.2 Fatos, queries e regras . . . . . . . .

3

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

1-1
1-1
1-1
1-1
1-2
1-2
1-3
1-3
1-3
1-5
1-7
1-7
1-7

4

1
Execução de programas em Prolog

Sumário
1.1

Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1-1

1.2

Conceitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1-1

1.2.1

Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1-1

1.2.2

Constantes . . . . . . . . . .