如何退出 swipl 到 bash？

Question

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).

?-

我找到的唯一方法是运行 cntr+c 多次 + exit + 输入。

有没有简单的退出方法？

Answer 1

Ctrl+D 或 halt..

读取用户输入的交互式程序通常会在您指示没有更多输入时退出。 Ctrl+D 指示 shell 告诉程序已到达 EOF（文件末尾），导致程序退出。

这几乎适用于所有 REPL（Python、NodeJS、Ruby、...）和许多其他程序。一个随机示例：在命令行中输入运行 md5sum 并输入一些文本。完成后，按 Ctrl+D 并查看您输入的文本的 MD5 哈希值。

还有另一种 Prolog 特有的退出方式，即 halt 谓词 (https://www.swi-prolog.org/pldoc/man?predicate=halt/0)。键入时间较长，但允许您以编程方式退出。

如何退出 swipl 到 bash？

how to exit from swipl to bash?

prolog

prolog-toplevel