Seth Woolley's Man Viewer

pl(1) - pl - SWI-Prolog - man 1 pl

([section] manual, -k keyword, -K [section] search, -f whatis)
man plain no title

PL(1L)                                                                  PL(1L)



NAME
       pl - SWI-Prolog

SYNOPSIS
       pl [-help]
       pl [options]
       pl [options] [-o output] -c file(1,n) ...
       pl [options] [-o output] -b initfile ...

DESCRIPTION
       SWI-Prolog  is  an implementation of Prolog in(1,8) the Edinburgh tradition.
       It is based on a restricted form of the WAM (RISC-WAM?). It has a  good
       collection  of built-in predicates, a large set(7,n,1 builtins) of which it shares with
       C-Prolog, Quintus Prolog and SICStus Prolog. It has a fairly good  per-
       formance,  with a fast compiler. It includes a Quintus-like module sys-
       tem, a library autoload facility, a garbage collector, on-line help,  a
       trasparent and fast C interface (in(1,8) both directions), and a profiler.

   Options
       -help  Gives a summary of the usage of this command.

       -Asize Give  the  argument  stack  size  on  K  bytes (default 5K). For
              machines with dynamic stack allocation, the default is  1M.  See
              -L for more details.

       -Gsize Give  the  global  stack  size  on  K  bytes (default 100K). For
              machines with dynamic stack allocation, the default is  4M.  See
              -L for more details.

       -Lsize Give  the  local stack size on K bytes (default 200K). Note that
              there is no space between the size option and its argument.  For
              machines with dynamic stack allocation, this flag sets the maxi-
              mum value to which the stack is allowed to grow (default 2M).  A
              maximum  is  useful  to prevent buggy programs from claiming all
              the memory resources.  -L0 sets the limit to the highest  possi-
              ble value.

       -O     Optimised  compilation. See please/3 in(1,8) the SWI-Prolog Reference
              Manual.

       -Tsize Give the trail stack size on K bytes (default 50K). For machines
              with  dynamic  stack  allocation,  the default is 4M. See -L for
              more details.

       -b initfile ... -c file(1,n) ...
              Boot compilation.  initfile ...  are compiled by the  C  written
              bootstrap compiler, file(1,n) ...  by the normal Prolog compiler into
              an intermediate code file. This option is for system maintenance
              and is given for reference only.

       -c file(1,n) ...
              Compiles file(1,n) ...  into an intermediate code file.

       -d level
              Set debug level to level.  This option is for system maintenance
              and is given for reference only.

       -f file(1,n)
              Use file(1,n) as initialisation file(1,n) 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. The default
              is a predicate which prints the  welcome  message.  The  welcome
              message  can thus be supressed by giving -g true.  goal can be a
              complex term. In this case, quotes are normally needed  to  pro-
              tect it from being expanded by the Unix shell.

       -o output
              Used  in(1,8)  combination with -b or -c to determine the output file(1,n)
              for compilation.

       -t goal
              Use goal as an 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(3,n,1 builtins)
              status  is  1.  This  flag  also  determines the goal started by
              break/0 and abort(3,7)/0.  If you want to stop the user from entering
              interactive  mode, start the application with `-g goal' and give
              `halt' as the top level.

       -xstate
              Load from an intermediate code file(1,n) resulting from a Prolog com-
              pilation using the -b or -c option.

       [+/-]tty(1,4)
              Switches  tty(1,4)  control (using ioctl(2)) on (+tty(1,4)) or off (-tty).
              Normally tty(1,4) control is switched on. This default depends on the
              installation. You may wish to switch(1,n) tty(1,4) control off if(3,n) SWI-Pro-
              log is used from an editor such as GNU EMACS. If  switched  off,
              get_single_char/1  and  the  tracer  will  wait  for  a carriage
              return.

   On-line Help
       SWI-Prolog has on-line help. This provides a fast lookup  and  browsing
       facility  to  the  SWI-Prolog  Reference manual. The on-line manual can
       show predicate definitions as well as entire sections of the manual.

       help   Equivalent to help(help/1).

       help(+What)
              Show a specified part of the manual.  What is one of:

              Name/Arity
                     give help on the specified predicate

              Name   give help on the named(5,8) predicate with any arity  or  a  C
                     interface function with that name.

              Section
                     display the specified section of the SWI-Prolog Reference
                     Manual.  Section numbers are dash separated numbers: e.g.
                     2-3 refers to section 2-3 of the manual.

SEE ALSO
       Jan  Wielemaker  SWI-Prolog 2.1 Reference Manual, University of Amster-
       dam, Dept. of Social Science and Informatics (SWI).

       W. F. Clocksin & C. S. Mellish, Programming in(1,8) Prolog, fourth  edition,
       Springer Verlag, Berlin 1994.

COPYRIGHT
       Copyright (C) 1990-1995, Jan Wielemaker

AUTHOR
       Jan Wielemaker



                                 July 31, 1995                          PL(1L)

References for this manual (incoming links)