首先进入环境；

看一下一开始的提示符是 ?- ，现在可以用write语句输出一些东西；

根据资料，在prolog中，

两个对象之间的关系，使用括号表示。比如，jack的朋友是peter，写成friend(jack, peter)。
如果括号里只有一个参数，表示对象拥有该属性，比如jack是男性，写成male(jack).

然后来定义一个关系，李四喜欢王二，love(lisi, wanger).

但是出错了，

看了一下，输入[user].，回车，之后进入 |: 提示符，才能定义一些东西，

 

然后定义了，lisi、liwu、liliu是woman，zhangyi、zhanger、zhangsan是man，定义了lisi喜欢wanger，liwu喜欢zhangyi；敲Ctrl+D结束定义，回到 ?- ,

然后可以进行一些询问；lisi是不是woman，true；zhangsan是不是woman，false；......

 

lisi喜欢wanger吗，true；zhangsan喜欢lisi吗，false；

 

有时间再继续；