qem(1)

NAME
qem - Qu-Prolog emulator

SYNOPSIS
qem [ -Csize ] [ -Tsize ] [ -asize ] [ -esize ] [ -hsize ] [ -isize ] [ -nsize ] [ -psize ] [ -ssize ] [ -tsize ] -Qexecutable -- application_options

DESCRIPTION
qem is the emulator for Qu-Prolog. It executes compiled Qu-Prolog programs. Any option required by the Qu-Prolog program can be sent via application_options after --.

OPTIONS

-Qexecutable
    Specify the executable data file to be used. The file expects to have a .qx suffix.

The following options alter the size of different data areas.

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

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

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

-asize
    Set the atom 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.

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

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

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

-nsize
    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.

-psize
    Set the predicate 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.

-ssize
    Set the string table to size K bytes. The default size is 64K bytes.

FILES
file.qx
    executable data file

SEE ALSO
cpp(1), qa(1), qc(1), ql(1), qp(1).

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