Prolog入門(2)