13.1 sicstus — SICStus Prolog Development System
Synopsis
% sicstus [options] [-- argument...]
Description
The prompt ‘| ?-’ indicates that the execution of is top-level
mode. In this mode, Prolog queries may be issued and executed
interactively. To exit from the top-level and return to the shell,
either type ^D at the top-level, or call the built-in predicate
halt/0
, or use the e (exit) command following a ^C
interruption.
Under Windows, sicstus.exe is a console-based
program that can run in a command prompt window, whereas spwin.exe
runs in its own window and directs the Prolog standard streams to that
window. spwin.exe
is a “windowed” executable.
Options
- -f
- Fast start. Don't read any initialization file on startup. If the
option is omitted and the initialization file exists, SICStus Prolog
will consult it on startup after running any initializations and
printing the version banners. The initialization file is
.sicstusrc or sicstus.ini in the users home directory,
i.e. ~/.sicstusrc or
~/sicstus.ini. See ref-fdi-syn for an explanation of how a
file specification starting with ‘~/’ is interpreted.
- -i
- Forced interactive. Prompt for user input, even if the standard input
stream does not appear to be a terminal.
- -m
- Use
malloc()
et al. for memory
allocations. See cpg-ref-SP_set_memalloc_hooks for more
information.
- --noinfo
- Start with the
informational
Prolog flag set to off
initially, suppressing informational messages. The flag is set before
any prolog-file or initialization file is loaded or any
saved-state is restored.
- --nologo
- Start without the initial version message.
- -l prolog-file
- Ensure that the file prolog-file is loaded on startup. This
is done before any initialization file is loaded. Only one
-l option is allowed.
- -r saved-state
- Restore the saved-state saved-state on startup. This is
done before any prolog-file or initialization file is
loaded. Only one -r option is allowed.
- --goal Goal
- Read a term from the text Goal and pass the resulting
term to
call/1
after all files have been loaded. As
usual Goal should be terminated by a full stop (‘.’). Only
one --goal option is allowed.
- -Dvar=value
- Sets the system property var to value value. Most
system properties take their default value from the environment but
often it is convenient to pass a system property directly instead of
setting the corresponding environment variable. See System Properties and Environment Variables for details.
- -Xrs
- Reduce use of OS-signals.
On UNIX-like platforms, several OS signals are handled specially in a
development system. The option -Xrs, prevents this and keeps
the OS default behavior.
On both UNIX-like platforms and Windows, the development system will
install handlers for the signal SIGINT
(corresponding to a
C-c keyboard interrupt). On Windows, a signal handler will also be
added for SIGBREAK
(signalled when the console window is
closed). The handling of SIGINT
and SIGBREAK
is not
affected by -Xrs.
- --help
- Display a help message and exit.
- -- argument...
- -a argument...
- where the arguments can be retrieved from Prolog by
prolog_flag(argv,
Args)
, which will unify Args
with argument... represented as a list of atoms.
Files
- file.pl
- file.pro
- Prolog source file
- file.po
- Prolog object file
- file.sav
- Prolog saved-state file
- .sicstusrc
- sicstus.ini
- SICStus Prolog initialization file, looked up in the
home directory
See Also
Start,
System Properties and Environment Variables.
Send feedback on this subject.