Как запустить SWI-Prolog из командной строки?

Ответ 1

Директива ISO: initialization. Это должно работать.

:- initialization main.

main :-
  write('Hello World\n').

Извините, я пропустил самые интересные детали. Вот пример script, скажем, сохраненный в ~/test/main.pl

#!/home/carlo/bin/swipl -f -q

:- initialization main.

main :-
  current_prolog_flag(argv, Argv),
  format('Hello World, argv:~w\n', [Argv]),
  halt(0).

и сделал исполняемый файл с

chmod +x ~/test/main.pl

то я получаю

~$ ~/test/main.pl
Hello World, argv:[]

~$ ~/test/main.pl as,dnj asdl
Hello World, argv:[as,dnj,asdl]

В script main.pl я использовал путь swipl, который возникает из-за создания из источника без прав администратора. Процесс сборки SWI-Prolog помещает bin и lib в ~/bin и ~/lib

Примечание: флаг -f отключает загрузку инициализации ~/.plrc, и это может потребоваться, чтобы получить более строгий контроль над выполнением...

В настоящее время я не уверен, что страница документации обновлена ​​с текущим статусом SW. Из сообщения о рассылке и моих собственных попыток повторного использования thea кажется, что флаги командной строки изменены в последнее время...

Ответ 2

Другой ответ более или менее правильный, однако, как это работает, может зависеть от вашей ОС. Самый портативный способ сделать это - это:

$ cat example.pl
#!/path/to/your/swipl

:- set_prolog_flag(verbose, silent).

:- initialization main.

main :-
    format('Example script~n'),
    current_prolog_flag(argv, Argv),
    format('Called with ~q~n', [Argv]),
    halt.
main :-
    halt(1).

Разница здесь в том, что на линии shebang нет ничего, кроме пути к swipl. Все остальное делается с помощью директив. В моей ОС работает только!

$ chmod u+x example.pl
$ example.pl foo bar baz
Example script
Called with [foo,bar,baz]

ИЗМЕНИТЬ

Вероятно, более чистое удаление линии shebang вообще и вместо этого выполняется из командной строки:

$ swipl -s example.pl -- foo bar baz
Example script
Called with [foo,bar,baz]

Опять же, используя директиву для установки main/0, поскольку цель инициализации избавляет вас от необходимости явно делать это в командной строке. Вызов swipl из командной строки, с другой стороны, позволяет вашей ОС находить, где исполняемый файл, вместо жесткого кодирования этой информации в script.

Ответ 3

Вы можете использовать initialization/2.

#!/path/to/swipl -q

:- initialization(main, program).

main :-
    write("Hello"), nl,
    halt.

Обоснование:

• -q (--quiet) используется для подавления всех информационных сообщений, включая информационные сообщения, которые исходят из файла инициализации SWI-Prolog (~/.swiplrc). :- set_prolog_flag(verbose, silent). может использоваться вместо этого, но он не подавляет информационные сообщения, которые приходят из файла инициализации.

• :- initialization(main, program). - program заставляет Prolog завершать работу с кодом ошибки при сбое main или при возникновении исключения, а не оставаться в REPL.

• halt - Останавливает программу с кодом выхода 0.

Выше предполагается, что вы хотите загрузить файл инициализации (~/.swipl) перед запуском программы. Если вы не хотите загружать файл инициализации, используйте #!/path/to/swipl -f -q в качестве шебанга. Это заставляет скрипт запускаться быстрее.

(Также обязательно установите исполняемый бит (chmod +x hello.pl) перед запуском скрипта (./hello.pl))