Exercícios resolvidos em Prolog sobre sistemas baseados em conhecimento - Cortez, Paulo (2008)