如何从命令行运行SWI-Prolog？ [英] How to run SWI-Prolog from the command line?

问题描述

有一种方法可以创建一个名为 hello.pl 的prolog脚本：

 ＃！/ usr / local / bin / swipl -q -s -t main 
 
 main： -  
 write（'Hello World\\\
'）。 
  

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

  $ hello.pl 
 Hello World 
 $ 
  

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

  hello.pl：line 3：main ： - ：command not found 
 hello.pl：line 4：语法错误接近意外的标记Hello World\\\

 hello.pl：line 4：`write（'Hello World\ ''
  

我可以通过在命令行上写这个工作： / p>

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

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

编辑

尚未能使此功能生效。这是命令@Boris在他的回答中的注释中的输出：

  $ 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）。 
 
： - 初始化main。 
 
 main： -  
格式（'示例脚本〜n'），
 current_prolog_flag（argv，Argv），
格式，[Argv]），
 halt。 
 main： -  
 halt（1）。 
 $ which swipl 
 / usr / local / bin / swipl 
 $ swipl --version 
 SWI-Prolog版本6.6.6 for x86_64-darwin13.1.0 
 $ ./example.pl 
 ./example.pl：line 3：接近意外标记的语法错误（'
 ./example.pl：line 3：`： -  set_prolog_flag（verbose，silent）。 
 $ 
  

我在Mac OSX 10.9.2上安装swipl和homebrew通过 brew install swi-prolog --with-libarchive

解决方案

ISO指令： 初始化。这应该可以正常工作。

 ： - 初始化main。
 
 main： -  
 write（'Hello World\\\
'）。
  对不起，我跳过了最有趣的细节，下面是一个示例脚本，让我们说保存在〜/ test / main.pl 
 ＃！/ home / carlo / bin / swipl -f -q 
 
： - 初始化main。
 
 main： -  
 current_prolog_flag（argv，Argv），
 format（'Hello World，argv：〜w\\\
' ，[Argv]），
 halt（0）。 
  
且可执行
  chmod + x〜/ test / main.pl 
  
 / p> 
 
 
 〜$〜/ test / main.pl 
 Hello World，argv：[] 
 $ b b〜$〜/ test / main.pl as，dnj asdl 
 Hello World，argv：[as，dnj，asdl] 
  
在脚本 main.pl 中，我使用了从没有管理员权限的源代码生成的swipl路径。 SWI-Prolog构建过程将bin和lib放在〜/ bin和〜/ lib 
下
 
 
注意：-f标志禁用加载初始化〜/ .plrc，可能需要更多的严格控制执行... 
 
 
 
我目前不确定文档页面是否是最新的当前软件状态。从一些邮件列表消息，以及我自己重用 thea ，似乎命令行标记最近... 
 
Is there a way to just create a prolog script called hello.pl like this:
#!/usr/local/bin/swipl -q -s -t main

main:-
  write('Hello World\n').
And be able to run it from the terminal like this?
$ hello.pl
Hello World
$
When I do that it gives me this:
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').'
I am able to get it working by writing this on the command line:
$ swipl -q -f hello.pl -t main
Hello World
$
But is there a way to just run the straight script as an executable instead?

Edit

Haven't yet been able to get this to work. Here is the output from the commands @Boris asked in the comments in his answer:
$ 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).'
$
I am on Mac OSX 10.9.2, and installed swipl with homebrew via brew install swi-prolog --with-libarchive
解决方案
ISO directive: initialization. This should work.
:- initialization main.

main :-
  write('Hello World\n').
edit sorry, I skipped over most interesting details. Here is a sample script, let's say saved in ~/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).
and made executable with
chmod +x ~/test/main.pl
then I get
~$ ~/test/main.pl
Hello World, argv:[]

~$ ~/test/main.pl as,dnj asdl
Hello World, argv:[as,dnj,asdl]
In script main.pl, I used the swipl path that results from building from source without admin privileges. The SWI-Prolog build process put bin and lib under ~/bin and ~/lib

Note: the -f flag disables loading the initialization ~/.plrc, and this could be necessary to get more 'strict control' over execution...

I'm currently unsure if the documentation page is up-to-date with current SW status. From some mailing list message, and my own efforts to reuse thea, seems that command line flags changed recently...

                        
这篇关于如何从命令行运行SWI-Prolog？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！