1) Introdução
O paradigma da programação em lógica. Introdução à linguagem Prolog.
2) Fundamentos
A linguagem da Lógica de Primeira Ordem (L1O) e a linguagem do Prolog: introdução, forma normal conjuntiva, relação entre as linguagens. Unificação de fórmulas e termos. Prova de teoremas e o Princípio da Resolução. Demonstrando teoremas em Prolog: estratégias de demonstração, esquema prático.
3) Programação em Lógica com Prolog
Padrões e Sistemas Prolog. Programando com Listas. Programando com Predicados Pré-Definidos: predicados para comparação e aritmética, predicado para definição de operadores, outros predicados pré-definidos. Modelando uma Aplicação em Prolog. Técnicas de Programação: acumuladores, listas-diferença. Prática da programação com Prolog.
4) Ambientes Prolog e Integração com Outras LPs
Visão geral dos ambientes de programação em Prolog. Comparação. Integração com outras linguagens. Exemplos.

- CLOCKSIN, W. F., MELLISH, C. S. Programming in Prolog. 4a. ed. Springer-Verlag, 1994.
- STERING, Leon; SHAPIRO, Ehud. The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Programming)
- ABE, Jair Minoro, SCALZITTI, Alexandre, FILHO, João Inácio da S. Introdução à Lógica para a Ciência da Computação. 3ª Ed. São Paulo: Arte & Ciência, 2008.

Não informado

- HOOGER, C. J. Essentials of Logic Programming. Oxford: Oxford University Press, 1990.
- TOWNSEND, Carl. Tecnicas avancadas em TURBO PROLOG. Editora Campus. 1990
- TATE, Bruce A. Seven Languages in Seven Weeks: A Pragmatic Guide to Learning Programming Languages (Pragmatic Programmers), 2010
- CASANOVA, M. A. Programação em lógica e a linguagem Prolog. Editora Edgard Blucher, 1987
- FAVERO, Eli L. Programação em Prolog - Uma Abordagem Prática. Belém: UFPA, 2006.