我面临的问题有点微不足道.我想在Prolog中使用逻辑,但似乎not/1不是我想要的东西:
course(ai).
course(pl).
course(os).
have(X,Y) :- course(X),course(Y),not(X = Y).
我查询:
have(X,Y), write(X-Y), nl , fail.
我没有得到我想要的结果:(
在下面的查询中,首先我得到了X = H128,它来自哪里？还为什么它回来了？是因为变量X实际上没有定义,我们正在测试这个条件？
?- not(X==3).
X = H128
yes