Command Line Options

The full set of command line options is given below:

-help ()

hen given as the only option, it summarises the most important options.

-v ()

hen given as the only option, it summarises the version and the architecture identifier.

-Lsize ()

ive local stack size in K bytes (200 K default). Note that there is no space between the size option and its argument. For machines with dynamic stack allocation this flag sets the maximum value to which the stack is allowed to grow (2 Mbytes default). A maximum is useful to stop buggy programs from claiming all memory resources. -L0 sets the limit to the highest possible value.

-Gsize ()

ive global stack size in K bytes (100 K default). For machines with dynamic stack allocation the default is 4 Mbytes. See -L for more details.

-Tsize ()

ive trail stack size in K bytes (50 K default). For machines with dynamic stack allocation the default is 4 Mbytes. See -L for more details.

-Asize ()

ive argument stack size in K bytes (5 K default). For machines with dynamic stack allocation the default is 1 Mbytes. See -L for more details.

-c file ... ()

ompile files into an `intermediate code file'. See section .

-o output ()

sed in combination with -c or -b to determine output file for compilation.

-O ()

ptimised compilation. See please/3.

-f file ()

se file as initialisation file instead of `.plrc '. ` -f none ' stops SWI-Prolog from searching for an initialisation file.

-g goal ( Goal)

is executed just before entering the top level. Default is a predicate which prints the welcome message. The welcome message can thus be suppressed by giving -g true . goal can be a complex term. In this case quotes are normally needed to protect it from being expanded by the Unix shell.

-t goal ()

se goal as interactive toplevel instead of the default goal prolog/0. goal can be a complex term. If the toplevel goal succeeds SWI-Prolog exits with status 0. If it fails the exit status is 1. This flag also determines the goal started by break/0 and abort/0. If you want to stop the user from entering interactive mode start the application with `-g goal ' and give `halt' as toplevel.

+/-tty ()

witches tty control (using ioctl(2)) on (+tty) or off (-tty). Normally tty control is switched on. This default depends on the installation. You may wish to switch tty control off if Prolog is used from an editor such as Emacs. If switched off get_single_char/1 and the tracer will wait for a return.

-x bootfile ()

oot from bootfile instead of the system's default boot file. A bootfile is a file resulting from a Prolog compilation using the -b or -c option or a program saved using qsave_program/[1,2].

-r restorefile ()

estore a state created by save_program/[1,2] or save/[1,2] using the new-style saved-states. Equivalent to restore(restorefile) from Prolog.

-p alias=path1[path2 ...] ()

efine a path alias for file_search_path. alias is the name of the alias, path1 ... is a : separated list of values for the alias. A value is either a term of the form alias(value) or pathname. The computed aliases are added to file_search_path/2 using asserta/1, so they preceed predefined values for the alias. See file_search_path/2 for details on using this file-location mechanism.

-- ()

tops scanning for more arguments, so you can pass arguments for your application after this one.

The following options are for system maintenance. They are given for reference only.

-b initfile ... -c file ... ()

oot compilation. initfile ... are compiled by the C-written bootstrap compiler, file ... by the normal Prolog compiler. System maintenance only.

-d level ()

et debug level to level. System maintenance only.