我正在尝试学习 Prolog。我已经在我的 Mac 上安装了 Gnu Prolog 1.4.4。我直接按照Gnu Prolog 手册第 4.2.3 节“咨询 Prolog 程序”中给出的示例进行操作，但我没有得到预期的结果：
Compiled Sep 26 2016, 00:06:17 with clang
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- [user].
compiling user for byte code...
even(0).
even(s(s(X))) :- even(X).
/* Hit Ctl-D here. */
user compiled, 3 lines read - 360 bytes written, 19084 ms
(1 ms) yes
| ?- even(X).
uncaught exception: error(existence_error(procedure,even/1),top_level/0)
当我使用带有我的定义的外部文件时，我得到了相同的（坏的）结果。知道出了什么问题吗？谢谢。