Prolog入門(3)