qa(1)

NAME
qa - Qu-Prolog assembler

SYNOPSIS
qa [ -iinput ] [ -ooutput ]

DESCRIPTION
qa is the Qu-Prolog assembler, which is part of the Qu-Prolog compilation system. It reads the Qu-Prolog assembly code from input and writes the object code to output.

OPTIONS

-iinput
    Input file for the assembler. input must have the suffix .qs.

-ooutput
    Output file for the assembler. output requires the suffix .qo.

FILES
file.qs
    assembly file
file.qo
    object file

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

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