Apostila 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)

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.

Resumo

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

1

Sumário
1 Introdução
1.1 1.2 O que é Programação em Lógica/Prolog? . . . . . . . . . . . . . . . . . . . Como Prolog funciona? . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4

4 4

2 Implementações de Prolog 3 Sintaxe SWI-Prolog
3.1 3.2 Os comandos write e read . . . . . . . . . . . . . . . . . . . . . . . . . . . Comentários . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 7
7 8

4 Utilizando o SWI-Prolog 5 Fatos, Regras e Consultas
5.1 5.2 5.3 6.1 6.2 6.3 6.4

9 10