Language

Lexer name
prolog
Source file extension
None
Binary file extension
pl

Interpreter

Name
SWI-Prolog
Command line
/usr/bin/swipl -s {basename} -t main -g true
Version
SWI-Prolog version 8.0.3 for x86_64-linux
Help
swipl: Usage:
    1) swipl [options] prolog-file ... [-- arg ...]
    2) swipl [options] [-o executable] -c prolog-file ...
    3) swipl --help     Display this message (also -h)
    4) swipl --version  Display version information
    4) swipl --arch     Display architecture
    6) swipl --dump-runtime-variables[=format]
                        Dump link info in sh(1) format

Options:
    -x state                 Start from state (must be first)
    -g goal                  Run goal (may be repeated)
    -t toplevel              Toplevel goal
    -f file                  User initialisation file
    -F file                  Site initialisation file
    -l file                  Script source file
    -s file                  Script source file
    -p alias=path            Define file search path 'alias'
    -O                       Optimised compilation
    --tty[=bool]             (Dis)allow tty control
    --signals[=bool]         Do (not) modify signal handling
    --threads[=bool]         Do (not) allow for threads
    --debug[=bool]           Do (not) generate debug info
    --quiet[=bool] (-q)      Do (not) suppress informational messages
    --traditional            Disable extensions of version 7
    --home=DIR               Use DIR as SWI-Prolog home
    --stack_limit=size[BKMG] Specify maximum size of Prolog stacks
    --table_space=size[BKMG] Specify maximum size of SLG tables
    --pldoc[=port]           Start PlDoc server [at port]

Boolean options may be written as --name=bool, --name, --no-name or --noname