Prolog not operator

Question

鉴于以下事实，以下2个查询输出了什么：

p(a).
p(b).

q(c).

?- not p(X), q(X).
?- q(X), not p(X).

对我来说，这两个请求都失败了，但显然第二个请求成功，X = c。我不知道这个问题的答案关键是否有问题，或者是我的Prolog，或者只是我做错了。