如何从命令行运行 SWI-Prolog？

Question

有没有办法像这样创建一个名为 hello.pl 的 prolog 脚本：

#!/usr/local/bin/swipl -q -s -t main

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

并且能够像这样从终端运行它？

$ hello.pl
Hello World
$

当我这样做时，它会给我这个：

hello.pl: line 3: main:-: command not found
hello.pl: line 4: syntax error near unexpected token `'Hello World\n''
hello.pl: line 4: `  write('Hello World\n').'

我可以通过在命令行上写这个来让它工作：

$ swipl -q -f hello.pl -t main
Hello World
$

但是有没有办法将直接脚本作为可执行文件运行？

编辑

还不能让它工作。这是@Boris 在他的回答中在 cmets 中询问的命令的输出：

$ ls -l
total 8
-rwxr-xr-x  1 viatropos  staff  235 Aug 26 20:28 example.pl
$ cat example.pl
#!/usr/local/bin/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).
$ which swipl
/usr/local/bin/swipl
$ swipl --version
SWI-Prolog version 6.6.6 for x86_64-darwin13.1.0
$ ./example.pl
./example.pl: line 3: syntax error near unexpected token `('
./example.pl: line 3: `:- set_prolog_flag(verbose, silent).'
$

我在 Mac OSX 10.9.2 上，并通过 brew install swi-prolog --with-libarchive 使用自制软件安装了 swipl

Answer 1

ISO 指令：initialization。这应该可以。

:- initialization main.

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

edit 抱歉，我跳过了最有趣的细节。这是一个示例脚本，假设保存在 ~/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]

在脚本main.pl 中，我使用了在没有管理员权限的情况下从源代码构建产生的 swipl 路径。 SWI-Prolog 构建过程将 bin 和 lib 放在 ~/bin 和 ~/lib 下

注意：-f 标志禁止加载初始化 ~/.plrc，这可能是对执行进行更“严格控制”所必需的...

我目前不确定文档页面是否与当前 SW 状态保持同步。从some mailing list message，以及我自己重用thea 的努力，似乎命令行标志最近发生了变化......

Answer 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 可以让您的操作系统找到可执行文件的位置，而不是在脚本中硬编码这些信息。

Answer 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 作为shebang。这使脚本启动得更快。

（另外，请务必在运行脚本（./hello.pl）之前设置可执行位（chmod +x hello.pl））