如何从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+ Enter。

是否有简单的退出方式？

Answer 1

Ctrl+D。

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