ql(1)

NAME
ql - Qu-Prolog linker

SYNOPSIS
ql [ -asize ] [ -dsize ] [ -psize ] [ -ssize ] -oexecutable objectfile ...

DESCRIPTION
ql is the Qu-Prolog linker, which is part of the Qu-Prolog compilation system. It reads the Qu-Prolog object code from objectfile and saves the executable in executable and executable.qx.

OPTIONS

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

-dsize
    Set the code area to size K bytes. The default size is 400K bytes.

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

-oexecutable
    The base name of the output and data file.

FILES
file.qo
    object file
file
    executable output file
file.qx
    executable data file

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

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