¿Cómo ejecutar SWI-Prolog desde la línea de comandos?
¿Hay alguna manera de crear un script de prólogo llamadohello.pl
Me gusta esto:
#!/usr/local/bin/swipl -q -s -t main
main:-
write('Hello World\n').
¿Y poder ejecutarlo desde la terminal así?
$ hello.pl
Hello World
$
Cuando hago eso me da esto:
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').'
Puedo hacerlo funcionar escribiendo esto en la línea de comando:
$ swipl -q -f hello.pl -t main
Hello World
$
Pero, ¿hay alguna manera de ejecutar el script directo como un ejecutable?
Editar
Todavía no he podido hacer que esto funcione. Aquí está el resultado de los comandos que @Boris preguntó en los comentarios en su respuesta:
$ 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).'
$
Estoy en Mac OSX 10.9.2 e instalé swipl con homebrew a través debrew install swi-prolog --with-libarchive