Prolog

Universidade Federal de Campina Grande - UFCG
Centro de Ciências e Tecnologia - CCT
Departamento de Sistemas e Computação - DSC

APOSTILA: INTRODUÇÃO À PROGRAMAÇÃO EM LÓGICA

Alexandre de Andrade Barbosa [e-mail] Joseluce de Farias Cunha [e-mail] 34 páginas
2006

Av. Aprígio Veloso, 882  Bodocongó
Caixa Postal 10.106
58.109-970  Campina Grande  PB  Brasil
Fone: 310-1119  Fax: [phone]

APOSTILA: INTRODUÇÃO À PROGRAMAÇÃO EM
LÓGICA
Alexandre de Andrade Barbosa
Departamento de Sistemas e Computação
E-mail: [e-mail]
Joseluce de Farias Cunha
Departamento de Sistemas e Computação
E-mail: [e-mail]
Av. Aprígio Veloso, 882  Bodocongó  Caixa Postal 10.106
CEP 58109-970  Campina Grande  PB  Brasil
Fone: 310-1119  Fax: [phone] (DSC)

Resumo

Esta apostila foi criada como material de apoio à disciplina de Lógica
Matemática do curso de Ciência da Computação da Universidade Federal de Campina Grande - UFCG. O conteúdo apresentado neste material é relacionado à Programação em Lógica, mais especicamente à linguagem
Prolog. Nenhuma revisão sobre Lógica Matemática é apresentada, assim, é necessário que o leitor já possua conhecimento sobre Lógica Proposicional e Lógica de 1a Ordem. Este texto possuí nível introdutório, uma vez que conhecimentos avançados sobre a linguagem não serão explorados na disciplina em questão.

Palavras-chave: Programação em lógica, Prolog, Lógica.

1

Sumário
1 Introdução

4

2 Implementações de Prolog

5

3 Sintaxe SWI-Prolog

7

4 Utilizando o SWI-Prolog

9

5 Fatos, Regras e Consultas

10

6 Listas

16

1.1
1.2

3.1
3.2

5.1
5.2
5.3
6.1
6.2
6.3
6.4

O que é Programação em Lógica/Prolog? . . . . . . . . . . . . . . . . . . .
Como Prolog funciona? . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Os comandos write e read . . . . . . . . . . . . . . . . . . . . . . . . . . .
Comentários . . .