Enviar por SMS: Exercícios resolvidos em Prolog sobre sistemas baseados em conhecimento