利用prolog语言进行逻辑推理,判断逻辑问题,谁是谁的老师