几个prolog的小练习