Este trabalho tem por objetivo servir de referência inicial às pessoas interessadas em Programação Lógica, mostrando os conceitos básicos necessários para um entendimento de tal tipo de programação. A linguagem de programação lógica PROLOG é usada no desenvolvimento do presente trabalho. Mostramos algumas aplicações e os programas correspondentes, a fim de ilustrar o estilo declarativo de programação deste tipo de linguagens.

This work Intende to serve as an initlal reference to those interested In Logic Programming, showing the basic concepts for an understanging of this type of programming. The programming language PROLOG is used In the development of trile work. Some applications and the corresponding programs are shown in order to Ilustrate the declarative programming style of this type of language.