Prolog 如何从swipl退出到bash？

我找到的唯一方法是多次运行

cntr+c

+

exit

+enter

---

有简单的退出方法吗？

Ctrl+D

或

halt.

读取用户输入的交互式程序通常在您指示不再输入时退出

Ctrl+D

指示shell告诉程序已达到

EOF

（文件结尾），从而导致程序退出

这适用于几乎所有REPL（Python、NodeJS、Ruby等）和许多其他程序。一个随机示例：在命令行上运行

md5sum

，然后键入一些文本。完成后，按Ctrl+D键查看输入文本的MD5哈希值

---

还有另一种特定于Prolog的退出方式，即

halt

谓词（）。键入需要更长的时间，但允许您以编程方式退出。

有趣的是：SWI Prolog-这从最基本的部分开始，包括暂停。有趣的是，

swipl

在输入CTRL-Z时不会“暂停进程”。在视窗系统的时代可以生存，但不太好。

stav> swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.3)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?-