Exercícios resolvidos em Prolog sobre Sistemas Baseados em Conhecimento: regras de produção, extração de conhecimento, procura e otimização - Cortez, Paulo (2018)