实验一 PROLOG语言编程练习