This is a slightly modified version of the UNIX man page. -gd.

SICSTUS(1)

NAME sicstus - SICS Prolog compiler/interpreter

SYNOPSIS sicstus [-f] [-i] [-bfile] [-r file] [-l file] [-a arg ...]

SUMMARY

You can run the prolog interpreter on lisa.cs.mcgill.ca by simply typing sicstus. It may also be available on other machines in the SOCS network, but this cannot be assured. When you are done, just type halt.

DESCRIPTION

sicstus2.1 is an implementation of Prolog in the Edinburgh tradition. [ Edinburgh PROLOG is one of the main standard dialects of the PROLOG language -gd]

OPTIONS

-f Fast start. Don't read the ~/.sicstusrc file on (re)initialise.
-i Forced interactive. Prompt for user input, even if the standard input does not appear to be a terminal.
-b file Boot sicstus2.1 from the compiled Prolog file file
-r file Start sicstus2.1 with a program state saved in the file file created in an earlier session by the save/1 or save_program/1 predicate. The default is to start sicstus2.1 with an empty program state. If sicstus2.1 has been correctly installed, saved program states are themselves executable files.
-l file Ensure file is loaded on (re)initialise.
-a arg... Arguments passed to Prolog, accessible by the unix(argv(L)) predicate.

ENVIRONMENT

GLOBALSTKSIZE If set, governs the initial size, in words, of the global stack.
LOCALSTKSIZE If set, governs the initial size, in words, of the local stack.
CHOICESTKSIZE If set, governs the initial size, in words, of the choicepoint stack.
TRAILSTKSIZE If set, governs the initial size, in words, of the trail stack. All of these areas may grow or shrink as needed.
SP_CTYPE If set, selects the character set standard. Useful values are iso_8859_1 (the Sun default) and euc.
SP_COMPRESS_SAVE If set to anything but 0, saved states are compressed.
TMPDIR If set, indicates the pathname where temporary files should be created. Defaults to /usr/tmp.

SEE ALSO

SICStus Prolog User's Manual (SICS Technical Report T93:01).

SICStus Prolog Library Manual (SICS Technical Report T93:02).

BUGS

Send bug reports to sicstus-bug@sics.se.

Bugs tend actually to be fixed if they can be isolated, so it is in your interest to report them in such a way that they can be easily reproduced. Compiled code cannot be traced. This list is incomplete.

COPYRIGHT

Copyright (C) 1991, Swedish Institute of Computer Science.

AUTHOR

Swedish Institute of Computer Science. Sun Release 4.1 Last change: 6 November 1991 2