- -g goal
- Goal is executed just before entering the top level. Default
is a predicate which prints the welcome message. The welcome message can
be suppressed with --quiet, but also with
-g true. goal can be a complex
term. In this case quotes are normally needed to protect it from being
expanded by the shell. A safe way to run a goal non-interactively is
% swipl <options> -g go,halt -t 'halt(1)'
- -t goal
- Use goal as interactive top level instead of the default goal prolog/0. goal can be a complex term. If the top-level goal succeeds SWI-Prolog exits with status 0. If it fails the exit status is 1. If the top level raises an exception, this is printed as an uncaught error and the top level is restarted. 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 top level.
Tags are associated to your profile if you are logged in