Apresenta a linguagem de programação lógica Prolog, adequada para resolver problemas que envolvem objetos e relações entre objetos. Apresenta e discute um vasto conjunto de predicados Prolog para o tratamento de listas, árvores e grafos.