Post-processing
This category of annotations include a set of post-processing operations that can be applied to facts of atoms annotated with @output before exporting the result into the target. Observe that also if the result is simply sent to the standard output, the post-processing is applied before.
The syntax is the following:
@post("atomName","post processing directive").where atomName is the name of the atom (which must also be annotated with @output) for which the post-processing is intended and post processing directive is a specification of the post-processing operation to be applied.
Multiple post-processing annotations can be used for the same atom, in case multiple transformations are desired.
In the following sections we give the details.
argmax |
|
argmin |
|
certain |
|
limit |
|
max |
|
min |
|
sort output results |
|
prelimit |
|
unique |