无法运行简单的Prolog程序

Question

我试图找出这个程序的输出结果：

p(X):-p(Y). p(a). p(b). p(c). and goal ?-p(Z) 

所以我试图进入在线翻译：

p(X):-p(Y). p(a). p(b). p(c).
?-p(Z).

但没有任何事情发生。问题在哪里？

我对Prolog很新。