Prolog: Mapas, Famílias e Recursividade

Os excertos discutem programação em Prolog e sua aplicação em problemas de inteligência artificial simbólica. A primeira parte concentra-se na inferência em árvores genealógicas, demonstrando como definir fatos e regras para relações de parentesco como genitor, pai, mãe, irmão, avô e antepassado, culminando na implementação recursiva de antepassados. A segunda parte aborda o clássico problema das Torres de Hanói, explicando sua resolução por meio de uma estratégia de busca em profundidade e a criação de uma cláusula recursiva move em Prolog. Ambos os exemplos ilustram o paradigma declarativo de Prolog e sua capacidade de resolver problemas complexos com poucas regras.