Primeiro exemplo com Prolog