How to run SWI-Prolog from the command line?

by

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…

More Related Contents:

  1. “No such file or directory” but it exists
  2. How do I copy a folder from remote to local using scp?
  3. Useless use of cat?
  4. How can I reverse the order of lines in a file?
  5. How can I shuffle the lines of a text file on the Unix command line or in a shell script?
  6. Shell command to find lines common in two files
  7. How to download GitHub Release from private repo using command line
  8. How can I check the version of sed in OS X?
  9. How to kill all processes matching a name?
  10. How to ssh to vagrant without actually running “vagrant ssh”?
  11. CMake’s execute_process and arbitrary shell scripts
  12. Is there a “standard” format for command line/shell help text?
  13. Take a full page screenshot with Firefox on the command-line
  14. How to print lines between two patterns, inclusive or exclusive (in sed, AWK or Perl)?
  15. How to use SSH to run a local shell script on a remote machine?
  16. How To Run PHP From Windows Command Line in WAMPServer
  17. Run a JAR file from the command line and specify classpath
  18. What are the uses of the exec command in shell scripts? [closed]
  19. Capture stdout and stderr into different variables
  20. Insert line after match using sed
  21. How to remove carriage return from a variable in shell script
  22. How do I get the effect and usefulness of “set -e” inside a shell function?
  23. How to set child process’ environment variable in Makefile
  24. How to source a script in a Makefile?
  25. How to run a command in the background and get no output?
  26. Hide Command Window of .BAT file that Executes Another .EXE File
  27. How to input automatically when running a shell over SSH?
  28. How to call a function in shell Scripting?
  29. How to run a shell script on every request?
  30. How to check if an URL exists with the shell and probably curl?

Leave a Comment