Output

It specifies that the facts for an atom of the program will be exported to an external target, for example the standard output or a relational database.

The syntax is the following:

@output("atomName").

where atomName is the atom for which the facts have to be exported into an external target.

It is assumed that an atom annotated with @output:

  1. does not have any explicit facts in the program,

  2. is never used within an @input annotation.

If the @output annotation is used without any @bind annotation, it is assumed that the default target is the standard output. Annotations @bind and @mapping can be used to customize the target system.