prolog - 如何在 Windows 上的 Prolog swipl REPL 上发送 EOF 以关闭伪用户文件？

Question

我正在使用 swipl.exe Windows 上的 Prolog REPL 并尝试使用 user pseudo file用 [user]. 打开但我想不出离开伪文件的快捷键:

c:\code>swipl.exe
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)

1 ?- [user].
|: hello :- format('Hello world~n').
|: ^Z

.

ERROR: user://1:9:3: Syntax error: illegal_character
|:
Action (h for help) ? ^C
c:\code>

从 ^Z 开始我输入了键

CTRL+Z

ENTER(我预计这里应该发送 EOF)

回车

.

ENTER(这会显示错误，并让我回到伪文件中)

CTRL+C(这只会杀死两个 swipl 进程中的一个，使控制台处于损坏状态，一些按键进入 swipl，一些进入 cmd(!))

我知道在空行上按 CTRL+Z 然后 ENTER 通常可以发送 EOF，就像在 more.com 中一样我输入 A ENTER B ENTER CTRL+Z ENTER 一切都在我的终端上工作。

如果我运行 swipl-win.exe GUI 遵循相同的关键步骤，当我按下 CTRL+Z 时，它会立即关闭伪文件并将我返回到顶级查询:

?- [user].
|: hello :- format('Hello world~n').
|: 
% user://1 compiled 0.00 sec, 1 clauses
true.

?- hello.
Hello world
true.

?- 

我按什么才能得到 [user].工作在 swipl.exe ?

Answer 1

正如您所注意到的，当您输入 [user] 时，您正在查阅由 组成的伪源文件。条款 .因此，只需输入术语 end_of_file .例如:

?- [user].
|: a.
|: b.
|: end_of_file.

% user://1 compiled 0.00 sec, 2 clauses
true.