как выйти из 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 инструктирует оболочку сообщать программе, что достигнут EOF (конец файла), вызывая выход из программы.

Это работает практически со всеми REPL (Python, NodeJS). , Ruby, ...) и многие другие программы. Один случайный пример: запустите md5sum в командной строке и введите текст. Когда вы закончите, нажмите Ctrl+D и увидите MD5 га sh введенного вами текста.

Существует еще один пролог-специфический c способ выхода, который является предикатом halt (https://www.swi-prolog.org/pldoc/man?predicate=halt / 0 ). Занимает больше времени, чтобы набрать, но позволяет программно выйти.