Estudo de AI usando Prolog.