Prolog exists_error：不明显

Question

我正在拔头发！我已经在我的Mac上安装了gprolog（1.4.4），我正在关注（我认为）instructions in the Gnu Prolog manual这封信，但是交互式环境不记得我的定义：

GNU Prolog 1.4.4 (64 bits)
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).

user compiled, 3 lines read - 362 bytes written, 21729 ms

(2 ms) yes
| ?- even(X).
uncaught exception: error(existence_error(procedure,even/1),top_level/0)
| ?- 

从交互式响应中可以看出，我在知识库输入的第二行（我唯一的规则）之后输入了Ctl-D。 Gprolog说它已编译了我的三行。为什么它不能正确识别我的查询？谢谢！