如何從 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或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 )。 鍵入需要更長的時間，但允許您以編程方式退出。