qp(1)

NAME
qp - Qu-Prolog interpreter

SYNOPSIS
qp [ -B size ] [ -O size ] [ -i size ] [ -C size ] [ -e size ] [ -h size ] [ -H size ] [ -n size ] [ -z size ] [ -N server-name ] [ -P server-port ] [ -A process-symbol ] [ -g initial-goal ] [ -l initialization-file ]

DESCRIPTION
qp is the Qu-Prolog interpreter. It repeatedly prompts for and solves queries.

OPTIONS

-B size
    Set the binding trail size to size K words. The default size is 32K words.

-O size
    Set the other trail size to size K words. The default size is 32K words.

-i size
    Set the implicit parameter table size to size entries. The system makes the size of the table the next power of two bigger than twice the supplied size. The default size is 10000.

-C size
    Set the choice point stack to size K words. The default size is 64K words.

-e size
    Set the environment stack to size K words. The default size is 64K words.

-h size
    Set the heap (global stack) to size K cells (words). The default size is 400K words.

-H size
    Set the scratch pad to size K cells (words). The default size is 10K words.

-n size
    Set the name table to size entries. The system makes the size of the table the next power of two bigger than twice the supplied size. The default size is 10000.

-z size
    Set the thread table to size entries. The default size is 100 entries.

-N server-name
    Set the machine (IP adress) on which the Pedro server is running to server-name. The default is the current machine.

-P server-port
    Set the port on which the Pedro server is listining to server-port.

-A process-symbol
    Set the name of this process to process-symbol. If the name is supplied then the qp GUI will start unless [ dumb ] appears as the last switch.

-g initial-goal
    initial-goal will be executed at the start of the interpreter

-l initialialization-file
    initialization-file will be loaded before the start of the interpreter

ENVIRONMENT

QPLIBPATH
    Specify where the Qu-Prolog libraries are held.

FILES
qp.qx
    executable data file

SEE ALSO
qc(1).

COPYRIGHT
Software Verification Research Centre, The University of Queensland, Australia 4072.